Merge branch 'jk/push-force-with-lease-creation' into maint
authorJunio C Hamano <gitster@pobox.com>
Fri, 9 Sep 2016 04:35:53 +0000 (21:35 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 9 Sep 2016 04:35:53 +0000 (21:35 -0700)
commitf34d900...a7346592a9d7fd2eb7b21126fd9732d5
treebf756b1...988b94b1f045a6f53c1eec9c3c479812copy hash to clipboard (tree)
parentf59c6e6...cb1386f0fdde2753f62536dfd3343118copy hash to clipboard (diff)
parent9eed4f3...11a605ab2d9b986357879a09a6d54f36copy hash to clipboard (diff)
Documentation/git-push.txt
remote.c
remote.h