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

devops: label released issues #950

Merged
merged 23 commits into from
Jun 28, 2023
Merged

devops: label released issues #950

merged 23 commits into from
Jun 28, 2023

Conversation

tom2drum
Copy link
Collaborator

resolves #945

@tom2drum tom2drum added the skip checks For Pull Requests where the "Checks" workflow should not be run label Jun 26, 2023
@tom2drum tom2drum force-pushed the tom2drum/issue_945 branch from f8439b7 to 5daf0fd Compare June 27, 2023 15:52
@tom2drum tom2drum force-pushed the tom2drum/issue_945 branch 7 times, most recently from 72fba60 to 6bde377 Compare June 27, 2023 18:01
@tom2drum tom2drum force-pushed the tom2drum/issue_945 branch from 6bde377 to 51c8015 Compare June 27, 2023 19:29
@tom2drum tom2drum force-pushed the tom2drum/issue_945 branch from 4fb42f0 to 728d427 Compare June 27, 2023 19:57
@tom2drum tom2drum removed the skip checks For Pull Requests where the "Checks" workflow should not be run label Jun 28, 2023
@tom2drum tom2drum requested a review from isstuev June 28, 2023 13:02
@tom2drum tom2drum merged commit 491c839 into main Jun 28, 2023
@tom2drum tom2drum deleted the tom2drum/issue_945 branch June 28, 2023 13:11
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.

add release tag to the done issues
1 participant