Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2025-12-25 12:47:14 +00:00
Code Issues Packages Projects Releases Wiki Activity
90,085 Commits 2,500 Branches 340 Tags
bfad20be9d75fa83c1d3e31fb6aefbca71aeaddc
Commit Graph

48 Commits

Author SHA1 Message Date
Ladislau Szomoru
bfad20be9d Extract remote source provider registry into the vscode.git-base extension (#137656) 2021-11-24 20:48:44 +01:00
Johannes Rieken
68e819043c use tsconfig.json#include for vscode.d.ts and vscode.proposed.d.ts, enables to remove most ref.d.ts-files 2021-11-09 15:53:35 +01:00
Johannes Rieken
9254a8cd27 move vscode.d.ts and vscode.proposed.d.ts into src/vscode-dts-folder, https://github.com/microsoft/vscode/issues/131165 2021-11-09 15:00:03 +01:00
Matt Bierner
c25cf4a01a Remove workaround cast 2021-09-16 17:21:01 -07:00
Matt Bierner
9e5ee5521a Pick up new TS version for building VS Code 
Fixes a few instances of `Promise.all` and also adds an any cast to workaround an issue
 2021-09-14 14:24:53 -07:00
Eric Amodio
c8c96aae9d Fixes # 122567: regex included .git in capture 2021-04-28 13:27:51 -04:00
Eric Amodio
874d19930e Calls new fork repo command in a codespace 2021-04-03 13:21:49 -04:00
Jackson Kearl
c18893214c Fix #120215 2021-03-30 20:06:09 -07:00
Eric Amodio
99c8eb6994 Fixes regex - codespaces remotes are missing .git 2021-03-25 18:24:41 -04:00
Eric Amodio
38160c823c Fixes codespaces fork on push 
Codespaces might not have a push url on the remote, so use the fetch url
 2021-03-24 17:11:24 -04:00
Eric Amodio
4b0118871f Adds codespaces lookup via command for desktop 2021-03-22 13:35:19 -04:00
Paul Adams
6c0c77926f Improve GitHub repository search 
Sort by relevance (stars) instead of last updated
 2021-03-19 18:42:03 -04:00
Eric Amodio
45ef649384 Adds support for fork on push for Codespaces 2021-03-18 18:46:50 -04:00
Eric Amodio
c24bfc336c 💄& localization 2021-03-05 17:54:27 -05:00
João Moreno
a5a37240bc fixes #108001 2020-11-30 11:51:01 +01:00
João Moreno
995983da54 github: get all branches 2020-11-27 14:02:13 +01:00
João Moreno
0321ca5d96 fixes #106664 2020-11-27 12:22:16 +01:00
João Moreno
549da12a6d fixes #104061 2020-11-12 11:34:09 +01:00
João Moreno
3d61a39074 fixes #103031 2020-11-10 16:52:35 +01:00
João Moreno
7efc22cc85 git.publish: do not await notification resolution 
related to #109977
 2020-11-09 11:37:10 +01:00
Rachel Macfarlane
373ea1b969 Fix build 2020-11-04 16:34:33 -08:00
Rachel Macfarlane
6eeaab8e5d Handle cancelled sign in when publishing to GitHub, fixes #96502 2020-11-04 16:22:52 -08:00
João Moreno
d2f51a9839 fixes #108444 2020-10-28 14:21:56 +01:00
Nicholas Rayburn
1562816430 Replace 'master' with branch head when publishing to github (#105878) 2020-09-16 11:02:03 +02:00
João Moreno
f06943f3cd fixes #105708 2020-09-03 11:27:42 +02:00
João Moreno
4d7ee02205 fixes #104248 2020-08-07 20:04:41 +02:00
João Moreno
b18015d0f8 fixes #101795 2020-08-05 11:40:28 +02:00
João Moreno
f3fed74a92 fixes #98931 2020-07-16 12:48:33 +02:00
James Lave
9074d576bb Add GitHub public repo option (#102406) 2020-07-16 11:19:39 +02:00
João Moreno
413e660e53 github: PushErrorHandler, fork and pr 
fixes #102393
 2020-07-15 15:56:44 +02:00
João Moreno
8b531a2246 update git.d.ts 2020-07-14 18:55:12 +02:00
João Moreno
4b4e0e0f3f rogue return 2020-07-01 11:09:58 +02:00
João Moreno
2aef194841 fixes #101409 2020-07-01 11:07:06 +02:00
João Moreno
d3eab32eca fixes #100479 2020-07-01 11:01:59 +02:00
João Moreno
53e793d7fc use workspace fs 2020-07-01 10:58:57 +02:00
João Moreno
ffda3a18cc fixes #100183 2020-07-01 10:51:55 +02:00
João Moreno
3e492a3a5c fixes #99447 2020-07-01 10:24:07 +02:00
Rachel Macfarlane
629e1d7e16 Remove old getSessions and login methods from auth provider API 2020-06-24 15:33:09 -07:00
João Moreno
208d556b1d fixes #100015 2020-06-17 09:41:55 +02:00
João Moreno
38cf89bcb3 fixes #97396 2020-06-03 14:24:40 +02:00
João Moreno
a67d00db97 fixes #98157 2020-05-20 14:04:03 +02:00
João Moreno
dedf4e7903 address publish to GitHub awareness 2020-05-20 11:37:52 +02:00
João Moreno
4bb364cc8e github: publish workspace folder 2020-05-19 11:57:41 +02:00
João Moreno
a85a2e6044 move credential provider to github 2020-05-18 21:04:29 +02:00
João Moreno
b629dba454 export to, clone from github 2020-05-18 15:51:15 +02:00
João Moreno
ee4e97fe6a publish command 2020-05-18 14:59:22 +02:00
João Moreno
12b150a961 github: remote source provider 2020-05-18 14:37:53 +02:00
João Moreno
1c98bbbbc2 add github extension 2020-05-18 14:13:08 +02:00