Han Xu a9b3de3f01 CI: create main branch only if not exist. ...

'git branch -f main' does not work if main was checked out.

Fix: use awk to check if main branch already exists and create if not
exist.

2022-09-23 20:38:38 -07:00

..

workflows

CI: create main branch only if not exist.

2022-09-23 20:38:38 -07:00