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

Sync with upstream #111

Merged
merged 7 commits into from
Apr 21, 2024
Merged

Sync with upstream #111

merged 7 commits into from
Apr 21, 2024

Conversation

nips-ja-sync[bot]
Copy link

@nips-ja-sync nips-ja-sync bot commented Apr 21, 2024

No description provided.

DanConwayDev and others added 7 commits April 17, 2024 17:46
for consistancy and so that the intended order of patches is easier to ascertain

enables additional patches to be appended to a patch set, supporting a PR-like workflow alongside
patch-over-email-like workflow
suggested guidance for repo-id
can be used by clients to tag multiple maintainers in patches

helps clients identify whether multiple repo events for the same repository
are complementary or in competion
earliest-unique-commit r tag enables clients to:
 - retrieve all repo events refering to a local git repo
 - group repo events with different identifers that refer to same repo
 - retrieve all patches for a local repo,
   irespective of the tagged repo event

current-commit-id r tag enables clients to prevent accidental submission of a patch,
which has already been proposed

root-revision tag enables clients to filter out proposal revisions
from a list of proposals
remove cover letters from 'possible things to be added later' and
add a clarification that can they can be added through patches
merge-commit and applied-commit-id tags enable discussion of patches to be
mapped to lines of code accepted into the master branch
@darashi darashi self-requested a review April 21, 2024 01:28
@darashi darashi merged commit f0bec3c into main Apr 21, 2024
1 check passed
@darashi darashi deleted the sync branch April 21, 2024 01:29
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

Successfully merging this pull request may close these issues.

2 participants