Skip to content

Update build from source to use specific tag.#123

Merged
Gnuxie merged 1 commit intomainfrom
gnuxie/source-pinning
Mar 19, 2026
Merged

Update build from source to use specific tag.#123
Gnuxie merged 1 commit intomainfrom
gnuxie/source-pinning

Conversation

@Gnuxie
Copy link
Member

@Gnuxie Gnuxie commented Mar 19, 2026

the-draupnir-project/Draupnir#1046

Cat can we get prettier configured for this repo.

@Gnuxie Gnuxie requested a review from FSG-Cat March 19, 2026 15:19
Copy link
Member

@FSG-Cat FSG-Cat left a comment

Choose a reason for hiding this comment

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

Looks good enough for now

@Gnuxie Gnuxie merged commit 9af5571 into main Mar 19, 2026
3 checks passed
@Gnuxie Gnuxie deleted the gnuxie/source-pinning branch March 19, 2026 15:35
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.

2 participants