These are opportunities in my personal network. Since i meet people, the one is searching for jobs, the other one for people. I decided to make these here public. :)
Feel free to comment this gist or drop my a line: [email protected]. If you like to appear here, drop me a line, too.
(in no particular order)
Locate the section for your github remote in the .git/config file. It looks like this:
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = [email protected]:joyent/node.git
Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:
| #!/bin/bash | |
| while read LINE; do | |
| curl -o /dev/null --silent --progress-bar --head --write-out '%{http_code} %{time_starttransfer} %{url_effective}\n' "$LINE" >> urls_result.txt | |
| done < urls.txt |
| // From jQuery.extend in the jQuery JavaScript Library v1.3.2 | |
| // Copyright (c) 2009 John Resig | |
| // Dual licensed under the MIT and GPL licenses. | |
| // http://docs.jquery.com/License | |
| // Modified for node.js (formely for copying properties correctly) | |
| exports.merge = function() { | |
| // copy reference to target object | |
| var target = arguments[0] || {}, i = 1, length = arguments.length, deep = false, source; | |
| // Handle a deep copy situation |
