Conversation
Test Results19 tests 19 ✅ 12s ⏱️ Results for commit b838b09. ♻️ This comment has been updated with latest results. |
Codecov ReportAttention: Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## main #13 +/- ##
==========================================
+ Coverage 41.11% 41.26% +0.15%
==========================================
Files 53 54 +1
Lines 1182 1214 +32
==========================================
+ Hits 486 501 +15
- Misses 696 713 +17 ☔ View full report in Codecov by Sentry. |
There was a problem hiding this comment.
Pull request overview
Adds a new matbox.git convenience utility to delete Git tags and updates the CI workflow checkout behavior to use the triggering branch/ref.
Changes:
- Introduce
matbox.git.deleteGitTagto delete a tag locally and onorigin. - Update
.github/workflows/update.ymlto checkout a specificrefand print the checked-out branch name.
Reviewed changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated 4 comments.
| File | Description |
|---|---|
code/+matbox/+git/deleteGitTag.m |
New MATLAB helper that runs git tag --delete and git push --delete in a target repo directory. |
.github/workflows/update.yml |
Adjusts checkout ref selection and adds a step to log which branch was checked out. |
You can also share your feedback on Copilot code review. Take the survey.
|
|
||
| if ~strcmp(pwd, projectDirectory) | ||
| currentWorkingDir = pwd; | ||
| cleanupObj = onCleanup(@(fn) cd(currentWorkingDir)); |
| %[s,m] = system( '$(git rev-parse --abbrev-ref HEAD) == "main"' ) | ||
|
|
| [s1, m1] = system(sprintf("git tag --delete %s", tagName)); | ||
| assert(s1==0, 'MATBOX:GitUtility:DeleteTagFailed', ... | ||
| 'Failed to delete local tag. Reason: %s', m1); | ||
|
|
||
| [s2, m2] = system(sprintf("git push --delete origin %s", tagName)); |
| - name: Check out repo | ||
| uses: actions/checkout@v4 | ||
| with: | ||
| ref: ${{ github.event_name == 'pull_request' && github.head_ref || github.ref_name }} |
Add convenience function for deleting git tags in repo