Andrew Ferrazzutti e9613225be
Add GitHub widget (#420)
* Add GitHub widget

Also make assorted fixes to help push this along

* Remove unused import

* Resolve new linter warnings

* Undo testing-only change

Didn't mean to commit this

* Use "org/repo" as GitHub repo names in widget

* Update src/ConnectionManager.ts

Co-authored-by: Will Hunt <will@half-shot.uk>

* Don't use null assertions

* Use block scope in switch cases

* Fix some BridgeAPI imports

* Actually validate connection state

* Return only GitHub repos with admin permissions

Co-authored-by: Will Hunt <will@half-shot.uk>
2022-07-29 10:05:21 -04:00
..
2022-07-29 10:05:21 -04:00
2022-05-06 09:57:18 +01:00
2022-07-29 10:05:21 -04:00
2022-07-29 10:05:21 -04:00
2022-07-29 10:05:21 -04:00
2022-05-06 09:57:18 +01:00