Skip to content
This repository has been archived by the owner on May 31, 2023. It is now read-only.

Fix tagging #6

Merged
merged 1 commit into from
Dec 1, 2017
Merged

Fix tagging #6

merged 1 commit into from
Dec 1, 2017

Conversation

paulfantom
Copy link
Member

Fix assigning multiple tags to one commit due to parallel CI pipelines.

@paulfantom paulfantom self-assigned this Nov 30, 2017
@paulfantom paulfantom merged commit b7f6495 into master Dec 1, 2017
@paulfantom paulfantom deleted the paulfantom-patch-1 branch December 1, 2017 08:03
@lock
Copy link

lock bot commented Mar 25, 2019

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@lock lock bot locked and limited conversation to collaborators Mar 25, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants