use different mirroring method

This commit is contained in:
Paul Wako
2019-08-29 08:21:25 -04:00
parent ec5e8051bb
commit aa514d3295

View File

@@ -1,6 +1,7 @@
## Now sync'd with gitlab AND github :D
Repo is mirrored to github:
git remote set-url origin --push --add git@gitlab.com:pew9000/ble.git
https://github.com/paulwalko/ble
git remote set-url origin --push --add git@github.com:paulwalko/ble.git
Reference: https://docs.gitlab.com/ee/workflow/repository_mirroring.html