deactivate_empty_repo.py
masterca7cee00746b229f16ced4b…

Apr 15 2019

show the info for all repo (some repo were buggy)
ca7cee00746b
·aubort on Apr 15 2019, 16:42.
rename script
e305c26d2c94
·aubort on Apr 15 2019, 15:55.