bin/nit-picker: `git fetch` before complaining about a HEAD not being ahead of some commit - builder

diff options

author	Erich Eckner <git@eckner.net>	2019-08-29 10:41:30 +0200
committer	Erich Eckner <git@eckner.net>	2019-08-29 10:41:30 +0200
commit	a97364bc3d2045f3a485f0ec920e39315a3f7cab (patch)
tree	23c13311f5011294d855bea26c806c4f8d94f13d /bin/ping-from-slave
parent	4744a472cf6b810ee3f674eb5a401caa1e17782d (diff)

bin/nit-picker: `git fetch` before complaining about a HEAD not being ahead of some commit

Diffstat (limited to 'bin/ping-from-slave')

0 files changed, 0 insertions, 0 deletions