Ladislau Szomoru
5ea57c3b48
GitHub - leveral repository rules for branch protection ( #180416 )
...
* WIP - switching to use repository ruleset information
* Handle includes
* Refactor to add support for exclusion
* Fix exclude condition
* Fix request string
* Add logging
* Update setting description
2023-04-20 16:43:42 +02:00
Ladislau Szomoru
f972a31938
GitHub - restore/save branch protection to global state ( #179855 )
2023-04-13 14:43:12 +02:00
Ladislau Szomoru
bb7570f4f8
GitHub - branch protection provider ( #179789 )
...
* Initial implementation
* Update default setting state
2023-04-12 17:42:51 +02:00
Sandeep Somavarapu
5b02e68e42
fix profile import/export in web ( #171753 )
...
- move it to configuration-editing extension
2023-01-19 15:13:23 -08:00
Sandeep Somavarapu
e43bf31ab1
Share profiles ( #166898 )
...
* Share profiles #159891
- Share profile in GitHub
- Profile resource quick pick
- Import profile from vscode link
* remove duplicate code
2022-11-21 21:03:02 +01:00
Alex Ross
ffe53e8d71
Add a Share menu and a share vscode.dev command ( #152765 )
...
* Add a share menu
Fixes #146309
* Add vscod.dev command in github extension
* Make share menu proposed
* Add share submenu into editor context
* Add proposed to editor share menu
2022-06-27 09:56:36 +02:00
Joao Moreno
06e1a2d4e0
fixes #139631
2022-01-11 20:59:54 +01:00
Ladislau Szomoru
bfad20be9d
Extract remote source provider registry into the vscode.git-base extension ( #137656 )
2021-11-24 20:48:44 +01:00
João Moreno
413e660e53
github: PushErrorHandler, fork and pr
...
fixes #102393
2020-07-15 15:56:44 +02:00
João Moreno
ffda3a18cc
fixes #100183
2020-07-01 10:51:55 +02:00
João Moreno
208d556b1d
fixes #100015
2020-06-17 09:41:55 +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
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
