Skip to content

Add gersemi@0.25#20

Closed
PatTheMav wants to merge 1 commit intomainfrom
gersemi-versioned
Closed

Add gersemi@0.25#20
PatTheMav wants to merge 1 commit intomainfrom
gersemi-versioned

Conversation

@PatTheMav
Copy link
Member

Description

Adds version-pinned formula for gersemi.

Motivation and Context

As gersemi exists as a core Homebrew formula for some time now, the local Formula used by this repository creates a naming collision.

To resolve this collision (and also ensure that local CI installations of obs-studio do not encounter sudden updates (and thus behavioural changes) of the formatter, a version-pinned variant can be used instead.

How Has This Been Tested?

Tests will be done by CI.

Types of changes

  • New feature (non-breaking change which adds functionality)

Checklist:

  • My code has been run through clang-format.
  • I have read the contributing document.
  • My code is not on the master branch.
  • The code has been tested.
  • All commit messages are properly formatted and commits squashed where appropriate.
  • I have included updates to all appropriate documentation.

@PatTheMav PatTheMav added the pr-pull Trigger automatic merge and release label Jan 8, 2026
@github-actions github-actions bot closed this Jan 8, 2026
@github-actions github-actions bot deleted the gersemi-versioned branch January 8, 2026 19:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-pull Trigger automatic merge and release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant