Skip to content

Carry the catalogue the publication run built - #180

Open
flowfin-publisher[bot] wants to merge 1 commit into
mainfrom
place/docs/manifest.json
Open

Carry the catalogue the publication run built#180
flowfin-publisher[bot] wants to merge 1 commit into
mainfrom
place/docs/manifest.json

Conversation

@flowfin-publisher

Copy link
Copy Markdown

The publication run built docs/manifest.json from the declarations, and what main carries at that path is different, so this request carries the difference. It closes nothing. The run proposes and merges nothing itself, and the merge stays a person's step in front of the served directory, which is what decisions/release-procedure.md asks for.

The mechanism that opened this was argued in #154.

The checks on this request have not started, and they will not start on their own. A request opened with a run's own token creates no workflow run, so the jobs the ruleset requires are absent rather than red. Closing this request and reopening it starts them. Read the verdict before merging.

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.

0 participants