Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't redirect the git push to /dev/null
If someone follows good release practice and keeps their ssh key for pushing to github password protected, and they also elect not to use a password agent for that ssh key, then you can't redirect the git push command to /dev/null or else they won't get asked their password on push and instead all pushes will always fail. Signed-off-by: Doug Ledford <[email protected]>
- Loading branch information