-
-
Notifications
You must be signed in to change notification settings - Fork 1.5k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add check_remote_head option to avoid unnecessary new releases by che… (
#1759) * Add check_remote_head option to avoid unnecessary new releases by checking the remote git HEAD without cloning the repo. * Add check_remote_head into the CHANGELOG * Add the pull request link to CHANGELOG * Update CHANGELOG.md Removed extra spaces: #1759 * Fix changelog. Improve check_remote_head * Use GrasefulSutdown exception instead of exit(0). * Change bash if statement in check_remote_head. * Remove redundant code. * Replace if statement with test.
- Loading branch information
1 parent
86c407b
commit bb4d41c
Showing
3 changed files
with
21 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters