LIAR-team / wombat

Robotics Autonomy Software Stack
0 stars 0 forks source link

implement git hooks concept and pre-push hook #30

Closed alsora closed 2 years ago

alsora commented 2 years ago

Signed-off-by: Alberto Soragna alberto.soragna@gmail.com

Description

Private github repositories can't set branch protection rules such as "prohibit pushing without a PR". This concept is implemented using git hooks.

Tests

Checked that re-configuration was happening after a change in the git hooks. Checked that direct pushing to main branch is blocked by the hook.