Min RK 63a61bcc2f 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

2021-05-11 10:40:04 +02:00

..

build

only build tagged versions on docker tags

2020-07-20 10:14:35 +02:00

post_push

prepare to rename default branch to main

2021-05-11 10:40:04 +02:00