Commit Graph

14 Commits

Author SHA1 Message Date
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