Thorsten Eckel
|
7919f341ff
Maintenance: Don't sync dependabot CI MR branches to GitHub.
|
5 years ago |
Thorsten Eckel
|
2c86e2cae1
Don't sync cherry-pick branches over to Github.
|
6 years ago |
Thorsten Eckel
|
a53a6fccee
Working on issue not syncing to github correctly.
|
8 years ago |
Martin Edenhofer
|
733ca5e005
Moved to extra script to sync github repo.
|
8 years ago |