[riot-notifications] [RIOT-OS/RIOT] dist/tools/git/git-cache: bump version (#11841)

Kaspar Schleiser notifications at github.com
Wed Jul 17 11:57:26 CEST 2019


kaspar030 commented on this pull request.



>              git -C "${TARGET_PATH}" fetch $Q origin "refs/tags/${REMOTE_NAME}/*:refs/tags/*"
+
+            # remove all commit* and <remote-hash>/* tags
+            git -C "${TARGET_PATH}" tag -l \
+                | grep -P '(^[a-f0-9]{40}/|^commit[a-f0-9]{40}(-\d+)?$)' \
+                | xargs git -C "${TARGET_PATH}" tag -d > /dev/null

well, testing is manual. honestly, I don't have the time.
the first term of the pipe cannot be easily factored out, as one is using "git_cache" instead of "git -Cpath". the two others could be factored into ```delete_tags "$regex" "$git-path"```.
I'm not sure readability would gain much.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/11841#discussion_r304317594
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190717/7d13c66d/attachment.html>


More information about the notifications mailing list