Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

corpus: remove submodule #112

Merged
merged 1 commit into from
Nov 30, 2024
Merged

Conversation

ligurio
Copy link
Owner

@ligurio ligurio commented Nov 29, 2024

A Git submodule was introduced in commit 341ac1e ("corpus: initial integration"). The main idea was to keep in sync source code of tests and their seed corpus.
However, this approach is not convenient:

  • seed corpus updates often and someone need to regularly bump submodule version, otherwise outdated seed corpus is used
  • seed corpus takes about 5Gb and git clone of repository with tests takes significant time

@ligurio ligurio force-pushed the ligurio/gh-xxxx-detach-corpus-submodule branch 3 times, most recently from a84cc1e to 26f1473 Compare November 29, 2024 11:54
@ligurio ligurio changed the title corpus: remove corpus submodule corpus: remove submodule Nov 29, 2024
@ligurio ligurio force-pushed the ligurio/gh-xxxx-detach-corpus-submodule branch 2 times, most recently from cbb12bb to 3c65c94 Compare November 30, 2024 06:26
A Git submodule was introduced in commit 341ac1e
("corpus: initial integration"). The main idea was to keep in sync
source code of tests and their seed corpus.
However, this approach is not convenient: seed corpus updates
often and someone need to regularly bump submodule version,
otherwise outdated seed corpus is used.
@ligurio ligurio force-pushed the ligurio/gh-xxxx-detach-corpus-submodule branch from 3c65c94 to 33352d5 Compare November 30, 2024 06:29
@ligurio ligurio merged commit ef74f05 into master Nov 30, 2024
11 checks passed
@ligurio ligurio deleted the ligurio/gh-xxxx-detach-corpus-submodule branch November 30, 2024 07:57
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.

1 participant