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.

Sign up for GitHub

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

Jump to bottom

adds a round id box to the issue template #4737

Merged
merged 1 commit into from
Oct 21, 2023
Merged

adds a round id box to the issue template #4737

merged 1 commit into from
Oct 21, 2023

Conversation

harryob
Copy link
Member

@harryob harryob commented Oct 20, 2023

so we can look at logs a little easier

no playerfacing changes

@github-actions github-actions bot added the Github We don't really know what else this belongs to label Oct 20, 2023
@fira
Copy link
Member

fira commented Oct 20, 2023

✅ good point

@fira fira added this pull request to the merge queue Oct 21, 2023
Merged via the queue into master with commit c32d56d Oct 21, 2023
27 checks passed
@fira fira deleted the bug-report-newness branch October 21, 2023 23:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fira fira fira approved these changes

Assignees
No one assigned
Labels
Github We don't really know what else this belongs to
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@harryob @fira