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

[24.0] Follow-up on #18212 #18516

Merged

Conversation

nsoranzo
Copy link
Member

@nsoranzo nsoranzo commented Jul 8, 2024

Two GitHub actions fixes:

  • Fix the milestone not being added to pull requests due to missing issues: write permission
  • Fix area/UI-UX label being added to unrelated pull requests

How to test the changes?

(Select all options that apply)

  • I've included appropriate automated tests.
  • This is a refactoring of components with existing test coverage.
  • Instructions for manual testing are as follows:
    1. [add testing steps and prerequisites here if you didn't write automated tests covering all your changes]

License

  • I agree to license these and all my past contributions to the core galaxy codebase under the MIT license.

@nsoranzo
Copy link
Member Author

nsoranzo commented Jul 8, 2024

Unfortunately changes will take effect only once this PR is merged.

@nsoranzo nsoranzo changed the title Follow-up on #18212 [24.0] Follow-up on #18212 Jul 8, 2024
@nsoranzo nsoranzo added this to the 24.2 milestone Jul 8, 2024
@jdavcs jdavcs merged commit 443640f into galaxyproject:release_24.0 Jul 8, 2024
47 of 51 checks passed
@nsoranzo nsoranzo deleted the release_24.0_followup_on_18212 branch July 9, 2024 09:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants