Provide a default branch for {push_files}

[mrexox]

⚡ Summary

base_branch: develop

pre-push:
  commands:
    lint:
      run: yarn lint {push_files}

Value

1. Default branch is develop
2. You create a new branch from develop
3. You try to push and {push_files} contains files not agains the develop, but against main

This is confusing. This should be controlled by some setting in lefthook, since it's impossible to control the other way.

Behavior and configuration changes

[mrexox]

For now you can use a workaround:

pre-push:
  only:
    - run: git remote set-head origin develop
  commands:
    ...

This will set your origin/HEAD pointing to develop branch before the {push_files} get queried.