Pull requests: refined-github/sandbox
Author
Label
Milestones
Reviews
Assignee
Sort
Pull requests list
Open PR with CI and change requested review edit
#12
opened Mar 29, 2022 by
cheap-glitch
Loading…
updated Dec 15, 2023
4679: PR + "update branch" +
restore-file
#29
opened Jul 22, 2022 by
fregante
Loading…
updated May 20, 2023
6670: Edit in PR, edit in base, "update PR",
restore-file
#70
opened May 20, 2023 by
fregante
Loading…
updated May 20, 2023
Testing
one-click-review-submissions
#69
opened May 6, 2023 by
fregante
Loading…
updated May 9, 2023
pr-base-commit
testing (with merges)
#68
opened Apr 26, 2023 by
fregante
Loading…
updated Apr 26, 2023
PR that can be updated without conflicts
#60
opened Apr 17, 2023 by
fregante
Loading…
updated Apr 26, 2023
4679: regular PR with
restore-file
#28
opened Jul 22, 2022 by
fregante
Loading…
updated Jul 22, 2022
Previous Next
ProTip!
Adding no:label will show everything without a label.