Skip to content

Conversation

@Polo2
Copy link
Member

@Polo2 Polo2 commented Dec 9, 2024

Small contribution to the tool, noticed by reviewing big PR #587

When we mention the cli itself, name is indeed 'bump'.
But I favored bump.sh each time we mention the organization behind this tool.

@Polo2 Polo2 self-assigned this Dec 9, 2024
@Polo2 Polo2 requested a review from paulRbr December 9, 2024 16:39
@Polo2 Polo2 changed the title Favor bump.sh Favor name bump.sh Dec 9, 2024
Copy link
Member

@paulRbr paulRbr left a comment

Choose a reason for hiding this comment

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

besides the message updated in #587 lgtm!

And while simplify these messages:

> Let's deploy/validate a new documentation version on Bump... done
can be simplfied to
> Let's deploy/validate on Bump.sh... done
@Polo2 Polo2 merged commit 9b94de5 into main Dec 12, 2024
9 checks passed
@paulRbr paulRbr mentioned this pull request Dec 17, 2024
@paulRbr paulRbr deleted the Favor-Bump.sh branch January 16, 2025 15:05
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