spacemacs/.circleci/update/maybe_pr

#!/usr/bin/env bash
## open_pr Opens PR to Spacemacs repository with updates (if any)
##
## Copyright (c) 2014-2021 Sylvain Benner & Contributors
##
## Author: Eugene Yaremenko
## URL: https://github.com/syl20bnr/spacemacs
##
## This file is not part of GNU Emacs.
##
## License: GPLv3

exit_if_no_patchfile

cd "/tmp/${PUBLISH}"

export GITHUB_TOKEN=$UPD_BOT_GIT_TK
echo_headline "Opening PR"
echo "[bot] ${PUBLISH}" > msg
echo >> msg
echo "Merge with care - I'm just a stupid bot. Beep boop." >> msg
hub pull-request -h "${PUBLISH}" -b "${PR_BRANCH}" -F msg
if [ $? -ne 0 ]; then
    echo "Seems like PR already exists (not a problem)"
fi
[CI] Move documentation formatting to CircleCI 2021-07-05 14:58:55 +00:00			`#!/usr/bin/env bash`
[ci] Handle the case when everything is up to date 2021-07-05 23:45:49 +00:00			`## open_pr Opens PR to Spacemacs repository with updates (if any)`
[CI] Move documentation formatting to CircleCI 2021-07-05 14:58:55 +00:00			`##`
			`## Copyright (c) 2014-2021 Sylvain Benner & Contributors`
			`##`
			`## Author: Eugene Yaremenko`
			`## URL: https://github.com/syl20bnr/spacemacs`
			`##`
			`## This file is not part of GNU Emacs.`
			`##`
			`## License: GPLv3`

[ci] refactoring 2021-08-01 20:34:01 +00:00			`exit_if_no_patchfile`
[ci] Handle the case when everything is up to date 2021-07-05 23:45:49 +00:00
[ci] fix ws in patches and use git apply 2021-07-05 22:43:19 +00:00			`cd "/tmp/${PUBLISH}"`

[ci] Don't mask push outputs (CircleCI masks secrets anyway) 2021-07-05 22:08:23 +00:00			`export GITHUB_TOKEN=$UPD_BOT_GIT_TK`
[ci] fix layers.org gen 2021-07-07 10:25:03 +00:00			`echo_headline "Opening PR"`
[ci] move html export to CircleCI 2021-07-07 13:52:34 +00:00			`echo "[bot] ${PUBLISH}" > msg`
[CI] Move documentation formatting to CircleCI 2021-07-05 14:58:55 +00:00			`echo >> msg`
			`echo "Merge with care - I'm just a stupid bot. Beep boop." >> msg`
[ci] fix layers.org gen 2021-07-07 10:25:03 +00:00			`hub pull-request -h "${PUBLISH}" -b "${PR_BRANCH}" -F msg`
[CI] Move documentation formatting to CircleCI 2021-07-05 14:58:55 +00:00			`if [ $? -ne 0 ]; then`
			`echo "Seems like PR already exists (not a problem)"`
			`fi`