Missing .gitmodules file

Question

Missing .gitmodules file

david-fong opened this issue 3 years ago · comments

It seems that the root .gitmodules file wasn't committed to the repo. This problem prevents users of this repo from running the defects4j benchmarks.

https://git-scm.com/book/en/v2/Git-Tools-Submodules

Khaled E. Ahmed · Answer 1 · Fri Sep 24 2021 16:39:02 GMT+0800 (China Standard Time)

Pushed the Defects4J files. Thanks for bringing this to my attention!

David Fong · Answer 2 · Sat Sep 25 2021 02:43:17 GMT+0800 (China Standard Time)

Thanks. I see you pasted the repos in. The git submodule route seems cleaner (easier to update and doesn't bloat the repo) but this works.

I think you missed copying the LICENSE file for the jackson-core repos. I think you need to do that to fulfill the Apache license section 4a. Can you check?