Skip to content
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

Amendment to PR 53 #54

Merged
merged 3 commits into from
May 18, 2024
Merged

Amendment to PR 53 #54

merged 3 commits into from
May 18, 2024

Conversation

perlpunk
Copy link
Contributor

I tried out checking out a PR like this:
https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally

git fetch origin pull/53/head:pr/53

but now I can't find out how to push changes to this branch.
So I had to create a new PR.

Copy link

github-actions bot commented May 17, 2024

PR Preview Action v1.4.7
Preview removed because the pull request was closed.
2024-05-18 12:45 UTC

{
"issue": {
"priority_id": 3,
"notes": "This ticket was set to **Normal** priority but was not updated [within the SLO period](https://example.com/issues). Please consider picking up this ticket or just set the ticket to the next lower priority. The ticket will be set to the next lower priority **Low**."
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@b10n1k Also, I think the middle sentence is redundant

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I pushed a commit for this.

{
"issue": {
"priority_id": 3,
"notes": "This ticket was set to **Normal** priority but was not updated [within the SLO period](https://example.com/issues). The ticket will be set to the next lower priority **Low**."
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I guess it is fine to have static priorities for that case.

@perlpunk perlpunk merged commit 58187ef into main May 18, 2024
3 checks passed
@perlpunk perlpunk deleted the pr/53 branch May 18, 2024 12:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants