New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Git option "Push" is not greyed anymore right after push #24201

Closed

DasJott opened this issue Apr 7, 2017 · 1 comment

Assignees

Labels

DasJott commented Apr 7, 2017

VSCode Version: Code 1.11.1 (d9484d1, 2017-04-06T13:55:56.395Z)
OS Version: Linux x64 4.4.0-71-generic
Extensions:

Extension	Author	Version
swagger-viewer	Arjun	1.4.0
githistory	donjayamanne	0.2.0
phpunit	emallin	1.0.0
php-intellisense	felixfbecker	1.1.4
text-transform	florianloch	0.1.0
auto-close-tag	formulahendry	0.3.10
auto-rename-tag	formulahendry	0.0.11
theme-dark-starry-night	jerry	1.0.2
vscode-simple-icons	LaurentTreguier	1.0.1
Go	lukehoban	0.6.59
vscode-todo	MattiasPernhult	0.8.0
vs-keybindings	ms-vscode	0.1.3
vscode-docker	PeterJausovec	0.0.13
material-icon-theme	PKief	2.0.3
better-merge	pprice	0.5.1
swaggitor	qnsolutions	0.1.1
bootstrap-3-snippets	wcwhitehead	0.0.9
Material-theme	zhuangtongfa	2.3.9
html-css-class-completion	Zignd	1.0.3

Steps to Reproduce:

push your branch to remote
if there is nothing to push, usually the push option is greyed

The text was updated successfully, but these errors were encountered:

chrmarti assigned joaomoreno

Member

joaomoreno commented Apr 7, 2017

joaomoreno closed this as completed

joaomoreno added the *duplicate label

vscodebot bot locked and limited conversation to collaborators

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.