Skip to content

Change to release env#6

Merged
TonyXiang8787 merged 2 commits into
mainfrom
pgm/sync-headers-to-release-env
Jun 29, 2026
Merged

Change to release env#6
TonyXiang8787 merged 2 commits into
mainfrom
pgm/sync-headers-to-release-env

Conversation

@nitbharambe

@nitbharambe nitbharambe commented Jun 26, 2026

Copy link
Copy Markdown
Member

Should we create a PR instead of syncing? (We can atleast do basic reviewing)

  • Ill also include release stuff in separate job.
    Github release job was separated because all upcoming PRs would fail either way if not ran on release environment.

Signed-off-by: Nitish Bharambe <nitish.bharambe@alliander.com>
@nitbharambe
nitbharambe marked this pull request as ready for review June 29, 2026 09:38
@TonyXiang8787

Copy link
Copy Markdown
Member

@nitbharambe,

For this repo, there is no direct push to main. It only periodically publish a new release by downloading the latest homebrew content. So no PR is needed.

Signed-off-by: Nitish Bharambe <nitish.bharambe@alliander.com>
@nitbharambe

Copy link
Copy Markdown
Member Author

I messed up with the description. I meant to ask the PR comment elsewhere at PowerGridModel/homebrew-pgm#6.

@nitbharambe,

For this repo, there is no direct push to main. It only periodically publish a new release by downloading the latest homebrew content. So no PR is needed.

@TonyXiang8787
TonyXiang8787 merged commit df6ac84 into main Jun 29, 2026
3 checks passed
@TonyXiang8787
TonyXiang8787 deleted the pgm/sync-headers-to-release-env branch June 29, 2026 14:34
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