Skip to content

git HEAD info in tab title#76329

Merged
joaomoreno merged 1 commit intomicrosoft:masterfrom
xuhas:76246-git-HEAD-info-in-tab-title
Jul 3, 2019
Merged

git HEAD info in tab title#76329
joaomoreno merged 1 commit intomicrosoft:masterfrom
xuhas:76246-git-HEAD-info-in-tab-title

Conversation

@xuhas
Copy link
Contributor

@xuhas xuhas commented Jun 29, 2019

My proposition for : #76246

I think It could have been better using getTitle function and defining a new case for Status.HEAD but I was unable set resource.type to the desired value.

Any suggestion to improve this is welcomed.

@joaomoreno joaomoreno added this to the July 2019 milestone Jul 3, 2019
@joaomoreno joaomoreno added the git GIT issues label Jul 3, 2019
@joaomoreno joaomoreno merged commit b462757 into microsoft:master Jul 3, 2019
@joaomoreno
Copy link
Member

Thanks!

@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 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.

2 participants