issues
search
sagemath
/
sage-release-management
Utility scripts for release managements
1
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Except disputed PRs with positive review label from automated processing
#8
kwankyu
closed
6 months ago
1
Add README.md
#7
kwankyu
opened
7 months ago
1
Take linter and other workflows into account
#6
tobiasdiez
opened
1 year ago
1
Merge script ignores dependencies and milestones
#5
mkoeppe
opened
1 year ago
0
Squash by default
#4
tobiasdiez
closed
1 year ago
3
Use "s: positive review" to get PRs ready for merge
#3
tobiasdiez
closed
1 year ago
1
Merge PR through github API
#2
tobiasdiez
opened
1 year ago
9
List coauthors in merge commit
#1
mkoeppe
opened
1 year ago
4