diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2017-09-05 14:51:21 -0700 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2017-09-05 14:51:26 -0700 |
| commit | 777519bd96f68c18150a0f5942f8f97a91937f5e (patch) | |
| tree | d9544fa7230bb8feabf4e9991f6856b004bea0aa /src | |
| parent | 4eb1f39d421024d9666cec61deaf96715ffae4c6 (diff) | |
| parent | dabee00ef1a7a2857c3318e898d3f63f79853048 (diff) | |
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
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions