The '.git/hooks/pre-push' hook was ignored because it's not set as executable

[lealceldeiro]

Describe the bug
On a Unix environment, when some changes are pushed the git hooks are not executed unless they are granted the execution permission manually through the console.

To Reproduce
Steps to reproduce the behavior:

1. Make some changes in the source code
2. Commit those changes
3. Push those changes
4. See how the changes are pushed but the git hooks are not executed. Additionally, you get a message in the console: The '.git/hooks/pre-push' hook was ignored because it's not set as executable.

Expected behavior
To get the git hooks executed before pushing unless some git options such as --no-verify is used.

Screenshots

Desktop (please complete the following information):

• OS: Linux Mint