Merge requests · Support / RepoTools

Add prodadd, a tool for simplifying superproject maintenance

!19 · created Feb 21, 2023 by Ben Avison
- 1
updated May 17, 2023
[diffrelease] Strip false-positive markers from commit logs

!18 · created Feb 02, 2023 by Ben Avison
- MERGED
- 1
- 0
updated Feb 11, 2023
[srccommit] Detect 'main' as being a default branch like 'master'

!17 · created Feb 05, 2022 by James Byrne
- MERGED
- 1
- 1
updated Feb 06, 2022
Python 3 support

!16 · created Jan 11, 2021 by Timothy E Baldwin
- MERGED
- Approved
- 0
updated May 08, 2021
Add prodversions and "prodcommit -f FILE"

!15 · created Dec 09, 2020 by James Byrne
- 2
updated Feb 21, 2023
[prodcommit] Ensure modules are sorted in commit message

!14 · created Oct 19, 2020 by James Byrne
- MERGED
- Approved
- 1
- 3
updated Oct 19, 2020
[srccommit] Add -c option for component name

!13 · created Oct 10, 2020 by James Byrne
- MERGED
- Approved
- 2
updated Oct 13, 2020
[prodcommit] Speed optimisation

!12 · created Sep 29, 2020 by Ben Avison
- MERGED
- 1
- 1
updated Oct 03, 2020
[prodcommit] Support 'modules' file

!11 · created Sep 21, 2020 by James Byrne
- CLOSED
- 0
updated Oct 19, 2020
[srccommit] Fix server branch revision numbers

!10 · created May 22, 2020 by Ben Avison
- MERGED
- 0
updated May 23, 2020
Stop generating VersionNum files with trailing spaces

!9 · created Apr 07, 2020 by Ben Avison
- MERGED
- 1
updated Apr 16, 2020
Import of new `diffrelease` script

!8 · created Mar 30, 2020 by Ben Avison RISC OS 5.28
- MERGED
- 1
- 6
updated Apr 07, 2020
WIP: Apply merge requests to current directory

!7 · created Nov 05, 2019 by Timothy E Baldwin
- 0
updated Nov 12, 2019
[prodcommit] Change short commit hashes to match GitLab

!6 · created Oct 21, 2019 by Ben Avison
- MERGED
- 1
updated Oct 27, 2019
Add git-mtime.py

!5 · created Sep 09, 2019 by James Byrne
- MERGED
- 0
updated Sep 14, 2019
[prodcommit] Fix unintended harmless (?) syntax error

!4 · created Jul 19, 2019 by Ben Avison
- MERGED
- 0
updated Jul 20, 2019
[srccommit] Add -a (amend) option

!3 · created Jun 23, 2019 by Ben Avison
- MERGED
- 1
- 3
updated Jul 20, 2019
[srccommit] Fix minor revision generation in presence of mixed tags

!2 · created Jun 23, 2019 by Ben Avison
- MERGED
- 2
updated Jul 20, 2019
Flesh out the README a bit

!1 · created Jun 21, 2019 by Ben Avison
- MERGED
- 0
updated Jun 22, 2019