Commit History

Author SHA1 Message Date
  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