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

Try getting fork commits merged into master if useful #398

Closed
lorenzwalthert opened this issue Jun 17, 2018 · 2 comments
Closed

Try getting fork commits merged into master if useful #398

lorenzwalthert opened this issue Jun 17, 2018 · 2 comments

Comments

@lorenzwalthert
Copy link
Collaborator

There are currently 25 forks. In a few of them, useful features were implemented. We should:

  1. Figure out what features are implemented in forks and which ones are potential candidates to be merged with upstream.
  2. Figure out why people have not (yet) created pull requests in the upstream repo. If you have forked and not submitted a PR, you are welcomed to comment bellow. We'd love to have more contributors in general if the contributions meet requirements outlined in CONTRIBUTING.md.
  3. Try to motivate the people of concern to submit PRs.

In all cases, we need to synchronize with the release schedule (#397).

@riccardoporreca
Copy link
Contributor

@lorenzwalthert, see my comment in #340 for the context around fork miraisolutions/styler.

@lorenzwalthert
Copy link
Collaborator Author

Think we are good for now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants