bin/change-git-remotes: do not skip identical url - it might have worked - builder

diff options

author	Erich Eckner <git@eckner.net>	2019-10-07 09:51:19 +0200
committer	Erich Eckner <git@eckner.net>	2019-10-07 09:51:19 +0200
commit	13d349ca280acaf63289f30889964b51029570fc (patch)
tree	a0a04894bfbcf00a68e3f869d3ae122804eea0a8 /bin/get-assignment
parent	bd0aaace1cc2e37ca8bc9d7aa352b23bca7aece9 (diff)

bin/change-git-remotes: do not skip identical url - it might have worked

Diffstat (limited to 'bin/get-assignment')

0 files changed, 0 insertions, 0 deletions