Skip to content

ci: update WELCOME-NEW-USERS workflow from global .github repo Signed-off-by: microcks-bot <info@microcks.io>#75

Merged
yada merged 1 commit into
masterfrom
bot/update-global-workflow-master-8e7916730e383942a3e286898462be398c5eadfc
Nov 7, 2024
Merged

ci: update WELCOME-NEW-USERS workflow from global .github repo Signed-off-by: microcks-bot <info@microcks.io>#75
yada merged 1 commit into
masterfrom
bot/update-global-workflow-master-8e7916730e383942a3e286898462be398c5eadfc

Conversation

@microcks-bot

Copy link
Copy Markdown
Contributor

No description provided.

Signed-off-by: microcks-bot <info@microcks.io>
@yada yada self-assigned this Nov 4, 2024

@yada yada 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.

LGTM

@yada yada merged commit 2b44c8e into master Nov 7, 2024
@yada yada deleted the bot/update-global-workflow-master-8e7916730e383942a3e286898462be398c5eadfc branch November 7, 2024 13:32
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.

3 participants