Skip to content

Comments

1280 create pull request checklist#1281

Merged
LukasFehring merged 1 commit intomainfrom
1280-create-pull-request-checklist
Dec 11, 2025
Merged

1280 create pull request checklist#1281
LukasFehring merged 1 commit intomainfrom
1280-create-pull-request-checklist

Conversation

@LukasFehring
Copy link
Collaborator

This Resolves #1280

We already had a template, but GitHub does not look at the same places anymore.
I copied it, and majorly refactored it. Note that according to the gihub docs the tempalte will only be applied once it is merged into the main. This is why I created the PR like this.

@LukasFehring LukasFehring linked an issue Dec 11, 2025 that may be closed by this pull request
@LukasFehring LukasFehring changed the base branch from main to development December 11, 2025 09:35
@LukasFehring LukasFehring force-pushed the 1280-create-pull-request-checklist branch from 3def68b to 7f1ce0d Compare December 11, 2025 09:37
@LukasFehring LukasFehring reopened this Dec 11, 2025
@LukasFehring LukasFehring changed the base branch from development to main December 11, 2025 09:38
@LukasFehring LukasFehring merged commit d124ba7 into main Dec 11, 2025
22 checks passed
@LukasFehring LukasFehring deleted the 1280-create-pull-request-checklist branch December 11, 2025 10:26
@LukasFehring LukasFehring restored the 1280-create-pull-request-checklist branch December 15, 2025 13:23
@LukasFehring LukasFehring mentioned this pull request Dec 15, 2025
9 tasks
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.

Create Pull Request Checklist

3 participants