HowTo: 2 origins for MightyScape repository
MightyScape Extension Collection
Some notes about the .git/config file which contains settings to push to two remotes
[core]
repositoryformatversion = 0
filemode = false
bare = false
logallrefupdates = true
symlinks = false
ignorecase = true
[remote "origin"]
...