add git pre-push hook
authorgggeek <giunta.gaetano@gmail.com>
Wed, 21 Dec 2022 10:46:15 +0000 (10:46 +0000)
committergggeek <giunta.gaetano@gmail.com>
Wed, 21 Dec 2022 10:46:15 +0000 (10:46 +0000)
commit5af2c5c572d87e1453f38f6225499fd4518c19eb
tree1b0c185398bada166446bae6343c54fce56a1592
parent39a5c02e63e3ead81e43be6fb5bf008da20a55c3
add git pre-push hook
.gitattributes
.githooks/pre-push.sh [new file with mode: 0755]
NEWS.md
composer.json