Skip to content

Releasing changes publicly#117

Closed
ldhenry wants to merge 1 commit into
mainfrom
october-08-2025-release
Closed

Releasing changes publicly#117
ldhenry wants to merge 1 commit into
mainfrom
october-08-2025-release

Conversation

@ldhenry

@ldhenry ldhenry commented Oct 8, 2025

Copy link
Copy Markdown
Contributor

This PR releases the changes from our private mirror.

@ldhenry ldhenry requested a review from a team as a code owner October 8, 2025 14:35

@monsagri monsagri left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

lgtm

@sloloris sloloris left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

i think we probably want to remove the buttonAction capability + devin integration since we have not gotten the go-ahead to release yet. we can delete it from the private if we are not planning on releasing

@@ -0,0 +1,29 @@
name: Dependency Scan

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

do we also want this on the public repo?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

I'm working on setting it up to only run on the private mirror.

@ldhenry

ldhenry commented Oct 8, 2025

Copy link
Copy Markdown
Contributor Author

Closing to re-open with one more change

@ldhenry ldhenry closed this Oct 8, 2025
@ldhenry ldhenry deleted the october-08-2025-release branch October 8, 2025 14:43
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.

3 participants