From 04960f865fa8dfb82dc3bc2c495c5658aee92f42 Mon Sep 17 00:00:00 2001 From: Eric Gallager Date: Thu, 27 Jan 2022 02:25:25 -0500 Subject: [PATCH 1/2] Update README.md a few things I'd like to see if using GitHub for legislation --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index fd06daf..d9ad703 100644 --- a/README.md +++ b/README.md @@ -21,6 +21,7 @@ runnning a project like [curl](https://github.com/curl/curl) easier. ## Issues - [Hide security issues](security-issues.md) +- Allow assigning groups of people (e.g. a committee, working group, etc.) as assignees for issues, rather than just individual accounts ## Pull Requests @@ -28,6 +29,8 @@ runnning a project like [curl](https://github.com/curl/curl) easier. - [Better support for PR-by-proxy](pr-by-proxy.md) - [Mark conflicting PRs in the list](mark-conflicting.md) - [Review commit messages](review-commit-msgs.md) +- Allow marking pull requests as private even in public repositories (they'd become public once merged) +- Allow voting on whether or not to merge pull requests by people with a special "voting" permission ## git integration From e3131596941d6e9d76ec086565963776ffe29990 Mon Sep 17 00:00:00 2001 From: Eric Gallager Date: Sat, 15 Jul 2023 01:23:49 -0400 Subject: [PATCH 2/2] Write separate markdown files foreach new proposal Also I added an additional fourth proposal while I was at it --- README.md | 7 ++++--- org-assignments.md | 3 +++ private-prs.md | 3 +++ review-options.md | 3 +++ voting.md | 3 +++ 5 files changed, 16 insertions(+), 3 deletions(-) create mode 100644 org-assignments.md create mode 100644 private-prs.md create mode 100644 review-options.md create mode 100644 voting.md diff --git a/README.md b/README.md index d9ad703..0141774 100644 --- a/README.md +++ b/README.md @@ -21,7 +21,7 @@ runnning a project like [curl](https://github.com/curl/curl) easier. ## Issues - [Hide security issues](security-issues.md) -- Allow assigning groups of people (e.g. a committee, working group, etc.) as assignees for issues, rather than just individual accounts +- [Allow assigning groups of people (e.g. a committee, working group, etc.) as assignees for issues, rather than just individual accounts](org-assignments.md) ## Pull Requests @@ -29,8 +29,9 @@ runnning a project like [curl](https://github.com/curl/curl) easier. - [Better support for PR-by-proxy](pr-by-proxy.md) - [Mark conflicting PRs in the list](mark-conflicting.md) - [Review commit messages](review-commit-msgs.md) -- Allow marking pull requests as private even in public repositories (they'd become public once merged) -- Allow voting on whether or not to merge pull requests by people with a special "voting" permission +- [Allow marking pull requests as private even in public repositories, which would then become public once merged](private-prs.md) +- [Allow voting on whether or not to merge pull requests by people with a special "voting" permission](voting.md) +- [More review options besides "Approve" and "Request Changes"](review-options.md) ## git integration diff --git a/org-assignments.md b/org-assignments.md new file mode 100644 index 0000000..413bdb8 --- /dev/null +++ b/org-assignments.md @@ -0,0 +1,3 @@ +# Allow assigning groups of people (e.g. a committee, working group, etc.) as assignees for issues, rather than just individual accounts + +Currently, it seems that only individual accounts can be set as assignees for issues. It would be nice if issues could be assigned to organizations as well, or groups of people with a certain role within an organization, to help emulate the workflow of assigning bills to committees found in many legislatures. diff --git a/private-prs.md b/private-prs.md new file mode 100644 index 0000000..8844f4a --- /dev/null +++ b/private-prs.md @@ -0,0 +1,3 @@ +# Allow marking pull requests as private even in public repositories (they'd become public once merged) + +I think GitHub might actually be working on something like this with their new private vulnerability reporting feature; we'll see what that's like once it gets out of beta... diff --git a/review-options.md b/review-options.md new file mode 100644 index 0000000..8237b14 --- /dev/null +++ b/review-options.md @@ -0,0 +1,3 @@ +# More review options besides "Approve" and "Request Changes" + +There should be a review option that's somewhere in between "Approve" and "Request changes", like "Approve pending changes" or "Don't block on this, but x, y, and z would be really nice tweaks here, and it'd be really swell if you thought so too" or something along those lines. I guess one could just say that that's what just leaving a plain comment is for, but I want the system to automatically change the review status to "Approved" for me once the changes are accepted. diff --git a/voting.md b/voting.md new file mode 100644 index 0000000..9529125 --- /dev/null +++ b/voting.md @@ -0,0 +1,3 @@ +# Allow voting on whether or not to merge pull requests by people with a special "voting" permission + +Some people might want to run their repositories via democracy. GitHub should help make this possible by allowing repo owners to allow voting on pull requests within it, which would then get merged (or not) depending on whether the PR reaches a certain threshold of votes among people voting on it. This could be restricted to just users with a special "voting" permission within the organization running the repository, to prevent drive-by interference and canvassing of members outside of the community.