15 Commits

Author	SHA1	Message	Date
Joao Moreno	2ab523ae7d	🐛 git: don't wait for idle when git show ... fixes #24213	2017-04-10 15:37:36 +02:00
Joao Moreno	564b9a8a1e	🐛 isolate git uri handling ... fixes #23297	2017-04-10 15:28:13 +02:00
Joao Moreno	b8747ec0af	🐛 use fsPath when getting paths out of URIs ... fixes #23297	2017-04-10 09:40:23 +02:00
Joao Moreno	e66408abc8	dirty diff doesn't clear on commit ... fixes #21726	2017-03-02 10:02:10 +01:00
Joao Moreno	0ff45fcdf0	git: use different uris for quick diff	2017-03-01 12:53:24 +01:00
Joao Moreno	d9806bcd9d	fixes #18654	2017-02-22 22:13:13 +01:00
Joao Moreno	b22fbb86e3	fixes #20943	2017-02-21 17:20:13 +01:00
Joao Moreno	88d72dbe54	git: fix range staging timing issues	2017-02-17 16:51:56 +01:00
Joao Moreno	8423993f5c	Merge branch 'master' into diff	2017-02-17 16:36:23 +01:00
Joao Moreno	963bbca635	git: pick index/HEAD ref later in the game	2017-02-17 16:21:01 +01:00
Joao Moreno	a09c57d62a	git: cleanup	2017-02-17 14:38:26 +01:00
Joao Moreno	d196389f53	fixes #20794	2017-02-17 12:38:00 +01:00
Joao Moreno	6d69f69c71	git: scoped git repositories ... fixes #20227	2017-02-16 16:28:05 +01:00
Joao Moreno	0100102027	git: handle resource opening	2017-01-12 11:07:06 +01:00
Joao Moreno	83846ff1f1	git: reorg	2017-01-12 10:20:26 +01:00