Closed matthewfeickert closed 4 months ago
On this branch
git grep "codemeta"
returns nothing now.
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 98.21%. Comparing base (
1af5ed4
) to head (1649bab
). Report is 18 commits behind head on main.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
I'm going to approve and merge this myself. As always, PRs approved by a single core dev can be reverted as needed by the rest of the dev team.
@meeseeksdev backport to release/v0.7.x
Owee, I'm MrMeeseeks, Look at me.
There seem to be a conflict, please backport manually. Here are approximate instructions:
git checkout release/v0.7.x
git pull
Cherry pick the first parent branch of the this PR on top of the older branch:
git cherry-pick -x -m1 ba896a6e1195470030a3b7b2480d5d68202fbc0d
You will likely have some merge/cherry-pick conflict here, fix them and commit:
git commit -am 'Backport PR #2490: chore: Remove codemeta from repository'
git push YOURFORK release/v0.7.x:auto-backport-of-pr-2490-on-release/v0.7.x
"Backport PR #2490 on branch release/v0.7.x (chore: Remove codemeta from repository)"
And apply the correct labels and milestones.
Congratulations — you did some good work! Hopefully your backport PR will be tested by the continuous integration and merged soon!
Remember to remove the Still Needs Manual Backport
label once the PR gets merged.
If these instructions are inaccurate, feel free to suggest an improvement.
Description
codemeta
,codemeta.json
, andcodemetapy
.Checklist Before Requesting Reviewer
Before Merging
For the PR Assignees: