Is there any smart way to determine the default branch in GitHub actions? Now I need to write something like: on: push: branches: - master is there a way to write something like the code