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

Transfer issues from main repository #9

Closed
alerque opened this issue Sep 17, 2019 · 0 comments
Closed

Transfer issues from main repository #9

alerque opened this issue Sep 17, 2019 · 0 comments

Comments

@alerque
Copy link
Member

alerque commented Sep 17, 2019

For history & context having site related issues here seems like a good thing. I migrated all the issues that were directly related to the site. Links to migrated issues auto-redirect to their new numbers on this repo.

PR's cannot be migrated, but in the event the history is relevant:

Also mentions in these issues, but as long as the related source is in the sile repo it seemed like leaving the related issue was best.

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

No branches or pull requests

1 participant