Skip to content

🔥 dev-util/bazelisk: moved to ::gentoo#217

Closed
Jamim wants to merge 1 commit into
gentoo:masterfrom
Jamim:dev-util/bazelisk
Closed

🔥 dev-util/bazelisk: moved to ::gentoo#217
Jamim wants to merge 1 commit into
gentoo:masterfrom
Jamim:dev-util/bazelisk

Conversation

@Jamim
Copy link
Copy Markdown
Contributor

@Jamim Jamim commented Jul 15, 2024

Hello @ezzieyguywuf,

Bazelisk 1.20 is now available in the ::gentoo tree, so it's safe to drop it.

Best regards!

Signed-off-by: Aliaksei Urbanski <aliaksei.urbanski@gmail.com>
@ezzieyguywuf
Copy link
Copy Markdown
Contributor

Hello @ezzieyguywuf,

Bazelisk 1.20 is now available in the ::gentoo tree, so it's safe to drop it.

Best regards!

this is great news, thanks for the ping! I'll make some time this week to drop it from guru.

@gonsoos
Copy link
Copy Markdown
Contributor

gonsoos commented Jul 15, 2024

this is great news, thanks for the ping! I'll make some time this week to drop it from guru.

I'm merging @Jamim's commit early to not have a duplicate package in GURU needlessly violate the regulations.

@gonsoos
Copy link
Copy Markdown
Contributor

gonsoos commented Jul 15, 2024

@Jamim You've contributed a few times to GURU now. Have you thought about requesting access to the server to contribute directly yet?
By contributing the "official way", your changes get merged quicker into main and it's generally less work for all participants ;)

@Jamim
Copy link
Copy Markdown
Contributor Author

Jamim commented Jul 15, 2024

@antecrescent not yet. I hope I'll be able to do so in the near future.

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