Skip to content

Commit ca7de64

Browse files
author
Release Manager
committed
sagemathgh-36496: build*.yml: Fix application of CI fixes broken in sagemath#36442 <!-- ^^^^^ Please provide a concise, informative and self-explanatory title. Don't put issue numbers in there, do this in the PR body below. For example, instead of "Fixes sagemath#1234" use "Introduce new method to calculate 1+1" --> <!-- Describe your changes here in detail --> <!-- Why is this change required? What problem does it solve? --> Fixes the failure as seen e.g. in https://github.com/sagemath/sage/actio ns/runs/6599334101/job/17928255227?pr=36271#step:7:8 <!-- If this PR resolves an open issue, please link to it here. For example "Fixes sagemath#12345". --> <!-- If your change requires a documentation PR, please link it appropriately. --> ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> <!-- If your change requires a documentation PR, please link it appropriately --> <!-- If you're unsure about any of these, don't hesitate to ask. We're here to help! --> <!-- Feel free to remove irrelevant items. --> - [x] The title is concise, informative, and self-explanatory. - [ ] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation accordingly. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on - sagemath#12345: short description why this is a dependency - sagemath#34567: ... --> <!-- If you're unsure about any of these, don't hesitate to ask. We're here to help! --> URL: sagemath#36496 Reported by: Matthias Köppe Reviewer(s): Kwankyu Lee
2 parents 26dca91 + b3d66df commit ca7de64

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

.ci/retrofit-worktree.sh

+4
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,10 @@ export GIT_AUTHOR_EMAIL="[email protected]"
1212
export GIT_COMMITTER_NAME="$GIT_AUTHOR_NAME"
1313
export GIT_COMMITTER_EMAIL="$GIT_AUTHOR_EMAIL"
1414

15+
# Set globally for other parts of the workflow
16+
git config --global user.name "$GIT_AUTHOR_NAME"
17+
git config --global user.email "$GIT_AUTHOR_EMAIL"
18+
1519
set -ex
1620

1721
# If actions/checkout downloaded our source tree using the GitHub REST API

0 commit comments

Comments
 (0)