bin/sanity-check: check git heads in database, not in files - builder

diff options

author	Erich Eckner <git@eckner.net>	2018-03-23 09:48:51 +0100
committer	Erich Eckner <git@eckner.net>	2018-03-23 09:48:51 +0100
commit	b798f420fda3be00914a8ac7a5817b651a9858f4 (patch)
tree	e0e4b0fa0e7c8aa67c5ff9e953376c88839a1767 /bin/prioritize-build-list
parent	6f7e155ea0dd7f0e5894ec133be313bbdb4589ba (diff)

bin/sanity-check: check git heads in database, not in files

Diffstat (limited to 'bin/prioritize-build-list')

0 files changed, 0 insertions, 0 deletions