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

Combine docs #683

Merged
merged 5 commits into from
Aug 2, 2023
Merged

Combine docs #683

merged 5 commits into from
Aug 2, 2023

Conversation

vinnybod
Copy link

Move docs from the empire-docs repo into the main repo so that documentation updates can be made alongside code changes.
Requires a config change in gitbook.

@vinnybod vinnybod merged commit 7156274 into main Aug 2, 2023
3 checks passed
@vinnybod vinnybod deleted the combine-docs branch August 2, 2023 04:37
vinnybod added a commit that referenced this pull request Aug 27, 2023
* combine docs with main repo

* remove docs submodule

* remove conflicts

* revert contributing.md
vinnybod added a commit that referenced this pull request Sep 8, 2023
…e2078ecb2c1a8e1e3ad9711e

Cherry-pick b0c3783 to private-main
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.

2 participants