Merge #11246: github-merge: Coalesce git fetches
commit777519bd96f68c18150a0f5942f8f97a91937f5e
authorMarcoFalke <falke.marco@gmail.com>
Tue, 5 Sep 2017 21:51:21 +0000 (5 14:51 -0700)
committerMarcoFalke <falke.marco@gmail.com>
Tue, 5 Sep 2017 21:51:26 +0000 (5 14:51 -0700)
treed9544fa7230bb8feabf4e9991f6856b004bea0aa
parent4eb1f39d421024d9666cec61deaf96715ffae4c6
parentdabee00ef1a7a2857c3318e898d3f63f79853048
Merge #11246: github-merge: Coalesce git fetches

dabee00ef github-merge: Coalesce git fetches (Wladimir J. van der Laan)

Pull request description:

  Fetch the destination branch as well as PR in one go. Saves a few seconds (as well as one ssh authentication, when using a yubikey) when using github-merge.py.

Tree-SHA512: 618fcc07f60b63de3b7818094c5a307933324b76418aa02c509209bb7b540b3da0abe312bbfd0ca843469ed82228b2c43c2361180ba81bee13038aafac4a14b3