Commit Graph

5 Commits

Author SHA1 Message Date
decentral1se f7cd0eb54c
Use new name 2021-06-17 16:34:03 +02:00
decentral1se fae13d9af8
Define our own repos to skip here for mirroring 2021-06-17 07:54:54 +02:00
decentral1se 9c9f7225e7
Use new user/org for mirroring 2021-06-17 07:43:00 +02:00
decentral1se 743600b94e
Use access token for pushing 2021-06-05 22:54:16 +02:00
decentral1se 4ef433312d
Add mirroring script 2021-06-05 22:41:50 +02:00