Skip to content

Commit 7a77b24

Browse files
committed
add documentation about git submodules and nix
1 parent 88815ca commit 7a77b24

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

README.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,3 +7,7 @@ To keep your project up to date with the most recent version of this template, w
77
```bash
88
cruft create https://github.com/runtimeverification/python-project-template
99
```
10+
11+
### Notes
12+
#### Git submodules
13+
If your new project contains git submodules that are not dependencies of any nix derivations, you should exclude the git submodule in the nix derivation in `nix/{{cookiecutter.project_slug}}/default.nix`. See [runtimeverification/k/pull/4804](https://github.com/runtimeverification/k/pull/4804) for more information.

0 commit comments

Comments
 (0)