RMI / RMI/practices

Merge strategies

Open
#17 4 comments 0 reactions 1 assignee View on GitHub

@jdhoffa is already working on this.

Since Feb 5, 2024.

git(hub)
Dominant language
No language data
Stars
3
Forks
0
No merged PRs in 30d

Description

Some of our repos have we don't have consistent merge strategies on our repos, and I don't know if that's important or not

Also consider the merge queue, which is in place on some repos (and I don't really understand how it works or why it's important)

https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/about-merge-methods-on-github

cc @cjyetman

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.