Add "Manual non-cherry-picks" section to PR description#19
Add "Manual non-cherry-picks" section to PR description#19DilumAluthge wants to merge 2 commits intoKristofferC:masterfrom
Conversation
e3182b5 to
835f7ab
Compare
8ba7b55 to
df67100
Compare
|
Codecov Report❌ Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## master #19 +/- ##
=========================================
Coverage ? 25.61%
=========================================
Files ? 6
Lines ? 859
Branches ? 0
=========================================
Hits ? 220
Misses ? 639
Partials ? 0 ☔ View full report in Codecov by Sentry. 🚀 New features to boost your workflow:
|
df67100 to
86e858d
Compare
|
@IanButterworth @KristofferC - what do you think - does this seem like something worth having? |
|
I don't quite follow this. Backporter cherry picks commits onto a branch, then makes a PR description for it... How are manually added commits getting in there? Sorry if I'm being slow. Also, Claude found issues: Review of PR #19: Add "Manual non-cherry-picks" section to PR descriptionThe feature idea is sound, but there are several bugs in the Bug 1 —
|
When people manually make a PR that targets |
|
So Or do you mean when the PR is already open? I didn't think Backporter could be used once open.. but maybe it makes sense there? |
Now the backports PR description doesn't have any mention of the manual PR. You can replace step 2 with "BumpStdlibs.jl makes a PR that targets |
This is unrelated to this PR, but you can definitely re-run Backporter multiple times, right? And then just push the updated branch, and edit the PR with the new description. |
Fixes #18
Example of what it might look like for the 1.12.5 backports PR:
Screenshot: