pull: allow "git pull origin $something:$current_branch" into an unborn branch
[gitweb.git] / contrib / continuous /
drwxr-xr-x   parent (dest: contrib; base: b0ad11ea165e07308fc02a5091efbe2e2d22237c)
-rw-r--r-- 12334 cidaemon
-rw-r--r-- 2171 post-receive-cinotify