We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 09b96f4 commit 3eb8408Copy full SHA for 3eb8408
.ci/merge-fixes.sh
@@ -14,10 +14,10 @@ else
14
git tag -f test_base
15
git commit -q -m "Uncommitted changes" --no-allow-empty -a
16
for a in $PRs; do
17
+ git fetch --unshallow --all > /dev/null 2>&1 && echo "Unshallowed."
18
echo "::group::Merging PR https://github.com/$REPO/pull/$a"
19
git tag -f test_head
20
$GH pr checkout -b pr-$a $a
- git fetch --unshallow --all > /dev/null 2>&1 && echo "Unshallowed."
21
git checkout -q test_head
22
if git merge --no-edit --squash -q pr-$a; then
23
echo "::endgroup::"
0 commit comments