-
Notifications
You must be signed in to change notification settings - Fork 11.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
docs: add dashboard list play link #87807
Conversation
This PR must be merged before a backport PR will be created. |
4 similar comments
This PR must be merged before a backport PR will be created. |
This PR must be merged before a backport PR will be created. |
This PR must be merged before a backport PR will be created. |
This PR must be merged before a backport PR will be created. |
This PR must be merged before a backport PR will be created. |
Error building instance: Contact #proj-ephemeral-hg-instances if it is not a compile error. Logs Error messagehandling pull request closed event: deleting instance by slug: unexpected response status: status=502 responseBody= <title>502 Server Error</title>Error: Server ErrorThe server encountered a temporary error and could not complete your request.Please try again in 30 seconds. |
The backport to
To backport manually, run these commands in your terminal: # Fetch latest updates from GitHub
git fetch
# Create a new branch
git switch --create backport-87807-to-v10.2.x origin/v10.2.x
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick -x 5678012f0f7c542845eb1542edd0886e6ce9d66d When the conflicts are resolved, stage and commit the changes:
If you have the GitHub CLI installed: # Push the branch to GitHub:
git push --set-upstream origin backport-87807-to-v10.2.x
# Create the PR body template
PR_BODY=$(gh pr view 87807 --json body --template 'Backport 5678012f0f7c542845eb1542edd0886e6ce9d66d from #87807{{ "\n\n---\n\n" }}{{ index . "body" }}')
# Create the PR on GitHub
echo "${PR_BODY}" | gh pr create --title "[v10.2.x] docs: add dashboard list play link" --body-file - --label "type/docs" --label "no-changelog" --label "backport" --base v10.2.x --milestone 10.2.x --web Or, if you don't have the GitHub CLI installed (we recommend you install it!): # Push the branch to GitHub:
git push --set-upstream origin backport-87807-to-v10.2.x
# Create a pull request where the `base` branch is `v10.2.x` and the `compare`/`head` branch is `backport-87807-to-v10.2.x`.
# Remove the local backport branch
git switch main
git branch -D backport-87807-to-v10.2.x |
The backport to
To backport manually, run these commands in your terminal: # Fetch latest updates from GitHub
git fetch
# Create a new branch
git switch --create backport-87807-to-v10.3.x origin/v10.3.x
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick -x 5678012f0f7c542845eb1542edd0886e6ce9d66d When the conflicts are resolved, stage and commit the changes:
If you have the GitHub CLI installed: # Push the branch to GitHub:
git push --set-upstream origin backport-87807-to-v10.3.x
# Create the PR body template
PR_BODY=$(gh pr view 87807 --json body --template 'Backport 5678012f0f7c542845eb1542edd0886e6ce9d66d from #87807{{ "\n\n---\n\n" }}{{ index . "body" }}')
# Create the PR on GitHub
echo "${PR_BODY}" | gh pr create --title "[v10.3.x] docs: add dashboard list play link" --body-file - --label "type/docs" --label "no-changelog" --label "backport" --base v10.3.x --milestone 10.3.x --web Or, if you don't have the GitHub CLI installed (we recommend you install it!): # Push the branch to GitHub:
git push --set-upstream origin backport-87807-to-v10.3.x
# Create a pull request where the `base` branch is `v10.3.x` and the `compare`/`head` branch is `backport-87807-to-v10.3.x`.
# Remove the local backport branch
git switch main
git branch -D backport-87807-to-v10.3.x |
The backport to
To backport manually, run these commands in your terminal: # Fetch latest updates from GitHub
git fetch
# Create a new branch
git switch --create backport-87807-to-v10.4.x origin/v10.4.x
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick -x 5678012f0f7c542845eb1542edd0886e6ce9d66d When the conflicts are resolved, stage and commit the changes:
If you have the GitHub CLI installed: # Push the branch to GitHub:
git push --set-upstream origin backport-87807-to-v10.4.x
# Create the PR body template
PR_BODY=$(gh pr view 87807 --json body --template 'Backport 5678012f0f7c542845eb1542edd0886e6ce9d66d from #87807{{ "\n\n---\n\n" }}{{ index . "body" }}')
# Create the PR on GitHub
echo "${PR_BODY}" | gh pr create --title "[v10.4.x] docs: add dashboard list play link" --body-file - --label "type/docs" --label "no-changelog" --label "backport" --base v10.4.x --milestone 10.4.x --web Or, if you don't have the GitHub CLI installed (we recommend you install it!): # Push the branch to GitHub:
git push --set-upstream origin backport-87807-to-v10.4.x
# Create a pull request where the `base` branch is `v10.4.x` and the `compare`/`head` branch is `backport-87807-to-v10.4.x`.
# Remove the local backport branch
git switch main
git branch -D backport-87807-to-v10.4.x |
(cherry picked from commit 5678012)
(cherry picked from commit 5678012)
(cherry picked from commit 5678012)
(cherry picked from commit 5678012)
The backport to
To backport manually, run these commands in your terminal: # Fetch latest updates from GitHub
git fetch
# Create a new branch
git switch --create backport-87807-to-v10.4.x origin/v10.4.x
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick -x 5678012f0f7c542845eb1542edd0886e6ce9d66d When the conflicts are resolved, stage and commit the changes:
If you have the GitHub CLI installed: # Push the branch to GitHub:
git push --set-upstream origin backport-87807-to-v10.4.x
# Create the PR body template
PR_BODY=$(gh pr view 87807 --json body --template 'Backport 5678012f0f7c542845eb1542edd0886e6ce9d66d from #87807{{ "\n\n---\n\n" }}{{ index . "body" }}')
# Create the PR on GitHub
echo "${PR_BODY}" | gh pr create --title "[v10.4.x] docs: add dashboard list play link" --body-file - --label "type/docs" --label "no-changelog" --label "backport" --base v10.4.x --milestone 10.4.x --web Or, if you don't have the GitHub CLI installed (we recommend you install it!): # Push the branch to GitHub:
git push --set-upstream origin backport-87807-to-v10.4.x
# Create a pull request where the `base` branch is `v10.4.x` and the `compare`/`head` branch is `backport-87807-to-v10.4.x`.
# Remove the local backport branch
git switch main
git branch -D backport-87807-to-v10.4.x |
part of a series of PRs