[ci] move bot init into separate file
This commit is contained in:
parent
85778b6383
commit
2189689eae
|
@ -39,6 +39,9 @@ jobs:
|
|||
- BASH_ENV: ".circleci/shared"
|
||||
- PUBLISH: "spacemacs_built_in"
|
||||
steps:
|
||||
- run:
|
||||
name: Initialize bot account
|
||||
command: .circleci/update/bot_init
|
||||
- checkout
|
||||
- run:
|
||||
name: Make patch file
|
||||
|
|
|
@ -2,7 +2,7 @@
|
|||
## Shared script part for CircleCI
|
||||
##
|
||||
## Copyright (c) 2012-2014 Sylvain Benner
|
||||
## Copyright (c) 2014-2018 Sylvain Benner & Contributors
|
||||
## Copyright (c) 2014-2021 Sylvain Benner & Contributors
|
||||
##
|
||||
## Author: Eugene Yaremenko
|
||||
## URL: https://github.com/syl20bnr/spacemacs
|
||||
|
@ -43,18 +43,6 @@ echo_headline () {
|
|||
echo
|
||||
}
|
||||
|
||||
init_hub () {
|
||||
mkdir -p ~/.ssh
|
||||
printf "Host github.com\n" > ~/.ssh/config
|
||||
printf " StrictHostKeyChecking no\n" >> ~/.ssh/config
|
||||
printf " UserKnownHostsFile=/dev/null\n" >> ~/.ssh/config
|
||||
git config --global user.name $UPD_BOT_LONIG
|
||||
git config --global user.email "not@an.actual.email.beep.boop"
|
||||
git config --global push.default simple
|
||||
git config --global hub.protocol https
|
||||
export GITHUB_TOKEN=$UPD_BOT_GIT_TK
|
||||
}
|
||||
|
||||
select_changed_orgs () {
|
||||
changed_f_as_args=()
|
||||
while read p
|
||||
|
|
|
@ -12,9 +12,7 @@
|
|||
|
||||
skip_when_non_official_repo
|
||||
|
||||
echo_headline "Setting up bot account"
|
||||
hub_init
|
||||
|
||||
echo_headline "Downloading and replacing files"
|
||||
built_in_manifest=".ci/built_in_manifest"
|
||||
lines=$(cat "${built_in_manifest}")
|
||||
while read line; do
|
||||
|
|
Loading…
Reference in New Issue