Skip to content

Git: Add tags to '...' menu#109282

Merged
joaomoreno merged 2 commits intomicrosoft:masterfrom
bicstone:submenu-add-tags
Oct 26, 2020
Merged

Git: Add tags to '...' menu#109282
joaomoreno merged 2 commits intomicrosoft:masterfrom
bicstone:submenu-add-tags

Conversation

@bicstone
Copy link
Contributor

This PR fixes #109281

@ghost
Copy link

ghost commented Oct 24, 2020

CLA assistant check
All CLA requirements met.

@joaomoreno joaomoreno added this to the October 2020 milestone Oct 26, 2020
@joaomoreno joaomoreno added the git GIT issues label Oct 26, 2020
@joaomoreno joaomoreno merged commit 86e1d07 into microsoft:master Oct 26, 2020
@joaomoreno
Copy link
Member

Thanks! 🍻

@github-actions github-actions bot locked and limited conversation to collaborators Dec 10, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

git GIT issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Git: Add tags to '...' menu

2 participants