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

Managed PR profile per PR #740

Open
GeckoEidechse opened this issue Jan 5, 2024 · 0 comments
Open

Managed PR profile per PR #740

GeckoEidechse opened this issue Jan 5, 2024 · 0 comments
Labels
enhancement New feature or request

Comments

@GeckoEidechse
Copy link
Member

Instead of having one profile for all PRs, we should have profiles PR to allow for testing multiple in succession more easily.

Also, include the PR number in the profile name so it's easy to tell which PR a profile is from.

Also write the current commit hash into a file in that profile folder so that we can check if the local copy is outdated and then update it accordingly.

Will require better profile support as a prerequisite.

Also, only really makes sense for mods PRs atm.

Additionally also check if any PRs have been merged/closed and prompt to delete these profiles again.

@GeckoEidechse GeckoEidechse added the enhancement New feature or request label Jan 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant