Skip to content

Generate META.json#33

Merged
theory merged 1 commit intomainfrom
gen-meta
Jan 20, 2024
Merged

Generate META.json#33
theory merged 1 commit intomainfrom
gen-meta

Conversation

@theory
Copy link
Copy Markdown
Contributor

@theory theory commented Jan 19, 2024

Rather than modify it in the repository and potentially create weird conflicts. Generate it from an input file, instead.

Use git config --add safe.directory to tell Git to trust the current directory, even though it is used by a different user. This is required to work around pgxn/docker-pgxn-tools#5.

But also use the newly-released pgxn/pgxn-tools:1.4 image to build the distribution, so as to use the new GIT_BUNDLE_OPTS variable to add the generated META.json file to the bundle. It would otherwise be excluded because git archive includes only committed files.

Rather than modify it in the repository and potentially create weird
conflicts. Generate it from an input file, instead.

Use `git config --add safe.directory` to tell Git to trust the current
directory, even though it is used by a different user. This is required
to work around pgxn/docker-pgxn-tools#5.

But also use the newly-released `pgxn/pgxn-tools:1.4` image to build the
distribution, so as to use the new `GIT_BUNDLE_OPTS` variable to add the
generated `META.json` file to the bundle. It would otherwise be excluded
because `git archive` includes only committed files.
@theory theory merged commit 91e9985 into main Jan 20, 2024
@theory theory deleted the gen-meta branch January 20, 2024 01:01
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