main () {
ALL_BRANCHES_NAMES="" for e in "${EPOCHS[@]}"; do
EPOCH=$(get_epoch_timeval ${e})
EPOCH_BRANCH_NAME=$(get_epoch_branch_name ${e})
EPOCH_SHA=$(./wpt rev-list --epoch ${EPOCH}) if [ "${EPOCH_SHA}" = "" ]; then echo"ERROR: Empty SHA returned from ./wpt rev-list"
exit 1 fi
git branch "${EPOCH_BRANCH_NAME}""${EPOCH_SHA}"
# Only set epoch tag if is not already tagged from a previous run. if ! git tag --points-at "${EPOCH_SHA}" | grep "${EPOCH_BRANCH_NAME}"; then
EPOCH_STAMP="$(date +%Y-%m-%d_%HH)"
git tag "${EPOCH_BRANCH_NAME}/${EPOCH_STAMP}""${EPOCH_SHA}" fi
ALL_BRANCHES_NAMES="${ALL_BRANCHES_NAMES} ${EPOCH_BRANCH_NAME}" done # This is safe because `git push` will by default fail for a non-fast-forward # push, for example if the remote branch is ahead of the local branch.
git push --porcelain --tags ${REMOTE} ${ALL_BRANCHES_NAMES} | tee "${RUNNER_TEMP}/git-push-output.txt"
}
cd $WPT_ROOT
if [ -z "$GITHUB_TOKEN" ]; then echo"GITHUB_TOKEN must be set as an environment variable"
exit 1 fi
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.