message: switched git workflow to use the main branch
diff: @@ -4,9 +4,9 @@ on:
  # Triggers the workflow on push or pull request events but only for the main branch
  # Remove push when finally merging.
  push:
  - branches: [ develop ]
  + branches: [ master ]
  pull_request:
  - branches: [ develop ]
  + branches: [ master ]
  # Allows you to run this workflow manually from the Actions tab.
  workflow_dispatch:
  