fix(research-workflow): simplify existing-PR push path, remove no-op rebase
This commit is contained in:
parent
fa3df1a4eb
commit
aaff21a770
|
|
@ -96,7 +96,6 @@ jobs:
|
||||||
|
|
||||||
if [ -n "$EXISTING_PR" ]; then
|
if [ -n "$EXISTING_PR" ]; then
|
||||||
git fetch origin "$BRANCH" 2>/dev/null || true
|
git fetch origin "$BRANCH" 2>/dev/null || true
|
||||||
git pull --rebase origin main
|
|
||||||
git push origin HEAD:"$BRANCH" --force-with-lease
|
git push origin HEAD:"$BRANCH" --force-with-lease
|
||||||
{
|
{
|
||||||
cat docs/iterations/LEARNINGS.md
|
cat docs/iterations/LEARNINGS.md
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue