Björn Tantau@swg-empire.detoSelfhosted@lemmy.world•Simplest tool to maintain local mirrors of git repos?English
21·
1 month agoA bash script would probably be easiest to write and pluck into cron.
Edit: Clone all repos you want into one directory and then loop with a script over all cloned dirs and issue git fetch
. Done. If you want to add a repo you clone another.
Have you tried different browsers? You should also enter the full URL sometimes they’re a bit stupid nowadays. So http://192.168.x.x:1500/
Maybe the browsers bring their own VPN. Some process all traffic to make it more “mobile friendly”. Or they have some other kind of proxy.