cowboy

This is now an actual repo:

https://github.com/cowboy/jquery-tiny-pubsub

gka

PHP Endpoint for Github Webhook URLs

If you love deploying websites using Github, but for some reason want to use your own server, this script might be exactly what you need.

1. Put github.php somewhere on your PHP-enabled web server, and make it accessible for the outside world. Let's say for now the script lives on http://example.com/github.php

dam1r89

function dq($query){
    $sql = $query->toSql();
    foreach($query->getBindings() as $key => $binding){
        $sql = preg_replace('/\?/', "'$binding'", $sql, 1);
    }
    dd($sql);
}

jakewtaylor

Increases indentation on the file tree and adds some lines to each directory/file.

Works 15 levels deep, but you can expand it by just adding more of each line thats repeating, i.e.:

• add another box shadow
  • (n*-20px) 0 0 0 rgba(255, 255, 255, 0.4)
• add another padding-left
  • .monaco-tree-row[aria-level="n"] { padding-left: ((n-1)*20)px; }
• add another :before & :after with left positioning
  • .monaco-tree-row[aria-level="n"]:before { left: (((n-1)*20)-9)px; }
• .monaco-tree-row[aria-level="n"]:after { left: (((n-1)*20)-9)px; }