projects / maintainer-tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 191b21c) | patch
github-merge-pr: add check for working on clean branch
authorChristian Marangi <[email protected]>
Wed, 11 Jan 2023 15:21:11 +0000 (16:21 +0100)
committerChristian Marangi <[email protected]>
Wed, 11 Jan 2023 15:21:11 +0000 (16:21 +0100)
commitfe709c1d4b5696729d66ea224f0c3494d2a0e98c
tree0d7e9bd6182bb69685c0a573b8e9da2cdd5fc273tree | snapshot
parent191b21c81fb437935cdc2103175114b5071a3ecccommit | diff
github-merge-pr: add check for working on clean branch

With error it may happen to work on a dirty branch and unintended
changes may be merged on merging a different pull request.

Add a check for it and exit with an error text.

Signed-off-by: Christian Marangi <[email protected]>
github-merge-pr.sh diff | blob | history
Maintainer scripts for OpenWrt