Commit d4108250 by github-actions

Merge upstream master into patched/master

parents 928278a8 04668010
...@@ -17,7 +17,6 @@ input="${REF#refs/heads/}" ...@@ -17,7 +17,6 @@ input="${REF#refs/heads/}"
upstream="${input#patched/}" upstream="${input#patched/}"
branch="patched/$upstream" branch="patched/$upstream"
git checkout "$branch" 2>/dev/null || git checkout -b "$branch" origin/patches git checkout "$branch" 2>/dev/null || git checkout -b "$branch" origin/patches --no-track
git branch -u "origin/$branch"
git fetch 'https://github.com/OpenZeppelin/openzeppelin-contracts.git' "$upstream" git fetch 'https://github.com/OpenZeppelin/openzeppelin-contracts.git' "$upstream"
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