I have some scripts which automatically mirror/update various git repos, just in case. Ones on github I've starred, some on gitlab, some elsewhere. It also deletes repos I've no longer starred. In retrospect, that was a bad idea, the script just deleted a bunch of repos which are no longer online...
0 reposts0 likes