easy way to keep PR env alive

keepPREnvAlive.sh

#!/bin/sh

# enable this if you want it fail early
# set -e

# pros: easy and cheap
# cons: you have to keep current working directory with unchanged branch (workaround: copy the repo)

gcurrentbranch () {
  git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/\1/'
}

while true; do \
  git fetch origin;  # assume your target remote is origin
  git reset origin/$(gcurrentbranch) --hard;
  git commit -a --amend --no-edit --no-signoff && git push --force-with-lease --no-verify && echo ✅   $(date);
  sleep 1500;
done