Skip to content

Prefix project storage directories with a dot (#72)#73

Merged
gjreda merged 1 commit into
mainfrom
72-save-grobidstorage-folders-outside-of-project-root
Jun 2, 2023
Merged

Prefix project storage directories with a dot (#72)#73
gjreda merged 1 commit into
mainfrom
72-save-grobidstorage-folders-outside-of-project-root

Conversation

@gjreda

@gjreda gjreda commented Jun 1, 2023

Copy link
Copy Markdown
Collaborator

fixes #72

@gjreda gjreda requested a review from cguedes June 1, 2023 20:16
@cguedes

cguedes commented Jun 2, 2023

Copy link
Copy Markdown
Collaborator

@sergioramos this is ready for merge.

@gjreda gjreda merged commit 6e09ea1 into main Jun 2, 2023
@gjreda gjreda deleted the 72-save-grobidstorage-folders-outside-of-project-root branch June 2, 2023 14:14
gjreda added a commit that referenced this pull request Jun 2, 2023
sergioramos pushed a commit that referenced this pull request Jun 2, 2023
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.

Save grobid/storage folders outside of project root

2 participants