mirror of
https://github.com/status-im/secp256k1.git
synced 2025-02-22 10:48:21 +00:00
ci: Do not set git's user.{email,name}
config options
git's `user.{email,name}` config options have been no longer required since 0ecf3188515e46b4da5580b4b9805d2cb927eb91.
This commit is contained in:
parent
e1817a6f54
commit
9b60e3148d
@ -55,8 +55,6 @@ cat_logs_snippet: &CAT_LOGS
|
||||
|
||||
merge_base_script_snippet: &MERGE_BASE
|
||||
merge_base_script:
|
||||
- git config --global user.email "ci@ci.ci"
|
||||
- git config --global user.name "ci"
|
||||
- if [ "$CIRRUS_PR" = "" ]; then exit 0; fi
|
||||
- git fetch --depth=1 $CIRRUS_REPO_CLONE_URL "pull/${CIRRUS_PR}/merge"
|
||||
- git checkout FETCH_HEAD # Use merged changes to detect silent merge conflicts
|
||||
|
Loading…
x
Reference in New Issue
Block a user