Skip to content

Removed duplicate Building protocol#15

Closed
danleedham wants to merge 2 commits intomainfrom
develop
Closed

Removed duplicate Building protocol#15
danleedham wants to merge 2 commits intomainfrom
develop

Conversation

@danleedham
Copy link
Contributor

  • Removed a duplicate Building protocol definition that was repeated at the end of the file
  • Adds action to restrict non-develop merges to main

@danleedham danleedham marked this pull request as draft February 16, 2026 17:03
@danleedham danleedham marked this pull request as ready for review February 16, 2026 17:03
@danleedham danleedham closed this Feb 16, 2026
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.

1 participant