Min RK a53178a92b Backport PR #3462: prepare to rename default branch to main ...

- update references to default branch name in docs, workflows
- use HEAD in github urls, which always works regardless of default branch name
- fix petstore URLs since the old petstore links seem to have stopped working

to merge, in order:

- [x] approve this PR
- [x] rename the default branch to main in settings
- [x] merge this PR

Related tangent: I've been using [this git default-branch](https://github.com/minrk/git-stuff/blob/main/bin/git-default-branch) to help with my aliases and friends working with repos with different branch names.

Signed-off-by: Min RK <benjaminrk@gmail.com>

2021-05-12 15:51:06 +02:00

..

app.rst

run autoformat

2019-02-19 17:00:10 +01:00

auth.rst

run autoformat

2019-02-19 17:00:10 +01:00

index.rst

Backport PR #3462: prepare to rename default branch to main

2021-05-12 15:51:06 +02:00

proxy.rst

run autoformat

2019-02-19 17:00:10 +01:00

service.rst

run autoformat

2019-02-19 17:00:10 +01:00

services.auth.rst

run autoformat

2019-02-19 17:00:10 +01:00

spawner.rst

make sure new spawner methods are documented

2019-02-27 16:47:46 +01:00

user.rst

run autoformat

2019-02-19 17:00:10 +01:00