Repository navigation
Add git commands to Makefile - #1217
Conversation
|
@jdebacker. Why do we want this? The |
|
@jdebacker. It certainly does not harm to have these shortcuts in the Makefile. But I think these are different than other shortcuts in that they circumvent a few Git steps that are actually important for a contributor to know what is going on, even for an experienced constributor. |
|
@jdebacker. If we are keeping these, I would recommend that we rename the files |
|
@rickecon writes:
Exceptions would be raised if there is a merge conflict.
Extensions added and files now formatted with ruff. |
|
@jdebacker. This PR looks good. I'll merge it as soon as it passes all the tests. |
Codecov Report❌ Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## master #1217 +/- ##
==========================================
- Coverage 75.85% 75.17% -0.68%
==========================================
Files 22 24 +2
Lines 5977 6031 +54
==========================================
Hits 4534 4534
- Misses 1443 1497 +54
Flags with carried forward coverage won't be shown. Click here to find out more.
🚀 New features to boost your workflow:
|
This PR adds helpful git commands to the
Makefile.The changelog is also updated to reflect some recently merged PRs.