| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Example config filesHEADmain |  Kristóf Marussy | 2021-01-29 |
| | | |||
| * | Rework for better integration with Jenkins | Kristóf Marussy | 2021-01-29 |
| | | |||
| * | Remove merge script | Kristóf Marussy | 2021-01-29 |
| | | | | | Jenkins already provides a setting for merging a branch into upstream. | ||
| * | Add script to merge remote patches | Kristóf Marussy | 2021-01-28 |
| | | |||
| * | Initial commit | Kristóf Marussy | 2021-01-28 |
 |
index : gitmirror | |
| Scripts for mirroring and merging patches into a Git repository | Kristóf Marussy |
| summaryrefslogtreecommitdiffstats |