Skip to content

Add a --HEAD option#16

Open
gvol wants to merge 1 commit intogap-system:masterfrom
gvol:3daa5a4
Open

Add a --HEAD option#16
gvol wants to merge 1 commit intogap-system:masterfrom
gvol:3daa5a4

Conversation

@gvol
Copy link
Copy Markdown

@gvol gvol commented Feb 24, 2023

This adds the option to build from HEAD by passing the --HEAD option to brew.

Mostly I just wanted to play around with brew a little and see how the recipe works, how to test it, etc.

Copy link
Copy Markdown
Member

@olexandr-konovalov olexandr-konovalov left a comment

Choose a reason for hiding this comment

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

@gvol haven't used this option before, but looks good and useful to me!

@gvol gvol mentioned this pull request Apr 22, 2023
@olexandr-konovalov
Copy link
Copy Markdown
Member

@gvol @fingolfin do we still need this?

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