Skip to content

Conversation

@branfosj
Copy link
Member

Follow on from #4285. In --review-pr we can suggest what the default title would be for the easyconfigs found.

@branfosj branfosj added this to the next release (4.7.3?) milestone Jun 23, 2023
@boegel boegel modified the milestones: 4.7.3, release after 4.7.3 Jul 6, 2023
@migueldiascosta
Copy link
Member

lgtm; it's useful, doesn't affect any existing tests afaict, and I suppose we don't need to add an explicit test for this

Copy link
Member

@boegel boegel left a comment

Choose a reason for hiding this comment

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

lgtm

@boegel boegel merged commit 01f1b83 into easybuilders:develop Aug 2, 2023
@branfosj branfosj deleted the pr_title branch August 2, 2023 14:58
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