5 Commits

Include renames

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