the-distro/infra
9
0
Fork 5
Code Issues 38 Pull requests 8 Packages Projects 1 Releases Wiki Activity

pkgs/gerrit: update to 3.10.0 #34

Merged
raito merged 1 commit from upgrade-gerrit-differently into main 2024-07-08 12:21:26 +00:00
Conversation 4 Commits 1 Files changed 25 +500 -188
lukegb commented 2024-07-08 01:45:29 +00:00
Member
Copy link

This does a bit more than advertised, since this also switches to a
different set of Bazel package building infrastructure that I'm hoping
will be more extensible than buildBazelPackage as it exists in nixpkgs
today.

In any case, the FOD here seems to be much more stable than that
previously produced by the old approach, but no promises :)

This does a bit more than advertised, since this also switches to a different set of Bazel package building infrastructure that I'm hoping will be more extensible than buildBazelPackage as it exists in nixpkgs today. In any case, the FOD here _seems_ to be much more stable than that previously produced by the old approach, but no promises :)
raito was assigned by lukegb 2024-07-08 01:45:29 +00:00
lukegb added 1 commit 2024-07-08 01:45:33 +00:00 
This does a bit more than advertised, since this also switches to a
different set of Bazel package building infrastructure that I'm hoping
will be more extensible than buildBazelPackage as it exists in nixpkgs
today.

In any case, the FOD here _seems_ to be much more stable than that
previously produced by the old approach, but no promises :)
delroth commented 2024-07-08 01:49:27 +00:00
Owner
Copy link

Thoughts on moving this to its own flake maybe?

Thoughts on moving this to its own flake maybe?
lukegb commented 2024-07-08 01:53:56 +00:00
Author
Member
Copy link

Thoughts on moving this to its own flake maybe?

I could certainly be convinced

> Thoughts on moving this to its own flake maybe? I could certainly be convinced
irenes commented 2024-07-08 08:57:36 +00:00
Member
Copy link

we're probably not the only ones who'd like to use it, I am all for giving it its own flake

we're probably not the only ones who'd like to use it, I am all for giving it its own flake
raito commented 2024-07-08 11:54:58 +00:00
Owner
Copy link

Fixes #21.

Fixes #21.
raito merged commit 82395ec8ce into main 2024-07-08 12:21:26 +00:00
raito deleted branch upgrade-gerrit-differently 2024-07-08 12:21:26 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
raito
4 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: the-distro/infra#34
No description provided.
Delete branch "upgrade-gerrit-differently"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?