Automatic PR merging.

Where shall we go?

Welcome to the first Github Game repository: github.com/GithubGame/1

This is an experiment to see what will be produced when enough hackers collaborate together with no predetermined goal.

Pull requests made to this repository will be automatically merged, according to the rules.

Every time there is activity on a pull request, the rules will be checked to decide whether it will be merged. When there is enough activity on the repository, collaborators need to vote on PRs for them to be merged. Voting is done by using reactions.

PR will be merged if:

There are less than 10 collaborators in the last month

or

10% of committers in the last week cast a positive vote

or

30% of committers in the last month cast a positive vote

Rules are managed in the GithubGame/rules repository and accepts PRs too, although not automatically.

Where shall we go?

If you want to submit a PR, please stick to these guidelines (protip - these guidelines apply to everyday life too):

Be delightful (no hate).

Keep everything legal.

Avoid violence.

Don’t threaten or harass anyone.

Keep personal or confidential information personal and confidential.

Be yourself (no impersonations).

Let’s go on a digital journey together. Where shall we go? That’s up to you.

Here are some ideas: