5af1cccb73
- It was possible to delete Codespaces for repo `SomePerson/foo` but not `someperson/foo`, despite the fact that the GitHub APIs don't actually care about casing - `SomePerson` and `someperson` is the same account. - This fixes that by lowercasing both the user-provided repo name, and the repository that is attached to the Codespace for a match. - Fixes #76. |
||
|---|---|---|
| .. | ||
| output | ||
| code.go | ||
| create.go | ||
| delete.go | ||
| list.go | ||
| logs.go | ||
| main.go | ||
| ports.go | ||
| ssh.go | ||