Wladimir J. van der Laan dabee00ef1 github-merge: Coalesce git fetches ...

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.

2017-09-05 23:32:09 +02:00

14 KiB

Executable File

Raw Blame History

View Raw