diff options
author | sterni <sternenseemann@systemli.org> | 2022-11-30T14·52+0100 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2022-12-01T23·38+0000 |
commit | e9df3608e1a6dd580d5825a7cc5972a59f0d464d (patch) | |
tree | 1b184bb002279aa848e0e861a77a3ae977880136 /users/sterni/machines/edwin/http/flipdot.openlab-augsburg.de.nix | |
parent | 1bf1333276a8bd7043738798ca515c9a645f8678 (diff) |
feat(sterni/machines/edwin): automatically sync repos with github r/5360
I primarily use GitHub for most of these preexisting repositories, but they should be properly replicated on edwin in case I want to stop. Pushing the respective refs manually is cumbersome and error prone, so let's automate it. The repositories are basically chowned to git:git currently and `git fetch <remote> 'refs/*:refs/*' --prune` is execute regularly to update the repository. In the future I could contemplate doing it the other way round – using edwin as upstream and using `git push --mirror` to update the GitHub repositories. Change-Id: Icb8a11223c0b4d3c8ce9a2da7fb2b4d4df4887f8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7486 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'users/sterni/machines/edwin/http/flipdot.openlab-augsburg.de.nix')
0 files changed, 0 insertions, 0 deletions