[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:
-------------- 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