Skip to content

Update manage issue header workflow events - #5177

Merged
rtibbles merged 1 commit into
unstablefrom
update-manage-issue-header
Jul 22, 2025
Merged

Update manage issue header workflow events#5177
rtibbles merged 1 commit into
unstablefrom
update-manage-issue-header

Conversation

@MisRob

Copy link
Copy Markdown
Member

Summary

A companion to learningequality/.github#28

@rtibblesrtibbles left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Feels like Jules might have indulged in unnecessary file and job renaming - but I'm not hugely concerned.

@MisRob

Copy link
Copy Markdown
MemberAuthor

Feels like Jules might have indulged in unnecessary file and job renaming - but I'm not hugely concerned.

@rtibbles, that is intentional - to align it with the very same script in .github repository so that we can easily copy-paste it to other repositories. And in .github, I needed to rename it because of separating 'caller' from 'shared'.

@rtibbles
rtibbles merged commit e060cde into unstableJul 22, 2025
18 checks passed
@rtibbles
rtibbles deleted the update-manage-issue-header branch July 22, 2025 15:18
@bjesterbjester mentioned this pull request Aug 14, 2025
@bjesterbjester mentioned this pull request Aug 22, 2025
Sign up for freeto 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.

2 participants

@MisRob@rtibbles