Commit 01a3ef98 by github-actions

Merge upstream release-v4.3 into patched/release-v4.3

parents 79d9fcfa 963cb6af
...@@ -18,6 +18,7 @@ jobs: ...@@ -18,6 +18,7 @@ jobs:
steps: steps:
- uses: actions/checkout@v2 - uses: actions/checkout@v2
with: with:
ref: patches
fetch-depth: 0 fetch-depth: 0
ssh-key: ${{ secrets.DEPLOY_KEY }} ssh-key: ${{ secrets.DEPLOY_KEY }}
- run: bash scripts/upgradeable/git-user-config.sh - run: bash scripts/upgradeable/git-user-config.sh
......
...@@ -18,5 +18,14 @@ upstream="${input#patched/}" ...@@ -18,5 +18,14 @@ upstream="${input#patched/}"
branch="patched/$upstream" branch="patched/$upstream"
git checkout "$branch" 2>/dev/null || git checkout -b "$branch" origin/patches --no-track git checkout "$branch" 2>/dev/null || git checkout -b "$branch" origin/patches --no-track
git fetch 'https://github.com/OpenZeppelin/openzeppelin-contracts.git' master
merge_base="$(git merge-base origin/patches FETCH_HEAD)"
git fetch 'https://github.com/OpenZeppelin/openzeppelin-contracts.git' "$upstream" git fetch 'https://github.com/OpenZeppelin/openzeppelin-contracts.git' "$upstream"
# Check that patches is not ahead of the upstream branch we're merging.
if ! git merge-base --is-ancestor "$merge_base" FETCH_HEAD; then
echo "The patches branch is ahead of $upstream" >&2
exit 1
fi
git merge origin/patches FETCH_HEAD -m "Merge upstream $upstream into $branch" git merge origin/patches FETCH_HEAD -m "Merge upstream $upstream into $branch"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment