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

Move docs into separate repo #244

Closed
s1hofmann opened this issue Jun 24, 2021 · 1 comment · Fixed by #248
Closed

Move docs into separate repo #244

s1hofmann opened this issue Jun 24, 2021 · 1 comment · Fixed by #248
Labels
enhancement Enhancement to existing features

Comments

@s1hofmann
Copy link
Member

Short overview
Keep docs separate from code in a dedicated repo

Use case
Less cluttered PR reviews if they include docs updates

@s1hofmann s1hofmann added the enhancement Enhancement to existing features label Jun 24, 2021
@svettwer
Copy link
Contributor

As I opened #243 I exactly knew where this issue came from. 😂

s1hofmann added a commit that referenced this issue Jul 14, 2021
@s1hofmann s1hofmann linked a pull request Jul 14, 2021 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Enhancement to existing features
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants