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

Kaspar Schleiser notifications at github.com
Tue Jul 16 22:53:11 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

> (29 lines of bash script changes I do not consider a low hanging fruit btw)

Yeah, sorry. I thought this could count as a version bump (this is copied directly from upstream).

-- 
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_r304114355
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190716/477d2798/attachment.html>


More information about the notifications mailing list