Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
39 changes: 0 additions & 39 deletions .github/workflows/mirror-repos.yml

This file was deleted.

4 changes: 0 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -33,10 +33,6 @@ Releases are driven by git tags. The current version is tracked in `.release-ple

There are many ways you can participate and help build high quality software. Check out the [contribution guide](CONTRIBUTING.md)!

## Syncing noir

We use marker commits and [git-subrepo](https://github.com/ingydotnet/git-subrepo) (for a subset of its intended use) to manage a mirror of noir. This tool was chosen because it makes code checkout and development as simple as possible (compared to submodules or subtrees), with the tradeoff of complexity around sync's.

## Development and CI

For a broad overview of the CI system take a look at [CI.md](CI.md).
Expand Down
12 changes: 0 additions & 12 deletions barretenberg/.gitrepo

This file was deleted.

1 change: 0 additions & 1 deletion cspell.json
Original file line number Diff line number Diff line change
Expand Up @@ -421,7 +421,6 @@
".bootstrapped",
"*.svg",
"*.otf",
"git-subrepo/",
"*.snap",
"package.json",
"build-wasm",
Expand Down
12 changes: 0 additions & 12 deletions docs/.gitrepo

This file was deleted.

25 changes: 0 additions & 25 deletions scripts/fix_subrepo_edge_case.sh

This file was deleted.

20 changes: 0 additions & 20 deletions scripts/git-subrepo/.fish.rc

This file was deleted.

1 change: 0 additions & 1 deletion scripts/git-subrepo/.gitattributes

This file was deleted.

23 changes: 0 additions & 23 deletions scripts/git-subrepo/.github/workflows/test.yml

This file was deleted.

1 change: 0 additions & 1 deletion scripts/git-subrepo/.gitignore

This file was deleted.

32 changes: 0 additions & 32 deletions scripts/git-subrepo/.rc

This file was deleted.

150 changes: 0 additions & 150 deletions scripts/git-subrepo/Changes

This file was deleted.

Loading
Loading