On 2020-06-18 12:56, nch via agora-discussion wrote:
Here's my first draft of regulations for management of the github.
Feedback appreciated.
{
# Github Owners
A Github Owner is a person who is listed as an owner of the Agora
organization on Github. There should be 3 Github Owners at any time.
The Ideal Criteria for a Github Owner are as follows:
* First registered for Agora at least 5 years Agora
Second Agora should be ago, I think.
Also, this being first implies that it is one of the primary factors to
deciding a person's ability to be a Github owner. I think it should be
less of a priority. Take that as you will, though, since I am a newer
player.
* Has been registered in Agora in each of the last 3 years (not
necessarily continuously)
* Is familiar with git and github
* Is a current player
I think this needs to be higher priority as well.
Unless I'm misunderstanding this list and all factors are weighted
equally, in which case that should be stated somewhere.
The Webmastor should always be a Github Owner.
Maybe include a "notwithstanding the Ideal Criteria" phrase in here for
extra security against CFJs.
When there are less than 3 Github Owners, the Webmastor should make the
closest consenting match to the Ideal Criteria a Github Owner.
When there is a consenting closer match to the Ideal Criteria than a
current Github Owner, the Webmastor may demote said current Github owner
and promote the closer match, with 3 support.
# Maintaining Repositories
The Maintainer of a repository is the only person who should push
directly to the repository, unless e has given permission to another
person.
If a another person wishes to update a repository, e should do so by
creating a fork and a pull request, and letting the maintainer merge the
request.
"a another"
The Webmastor is the maintainer of the agoranomic.org repository. E
may update the repository only if:
* e does so without objection
* e is only updating dates, numbers, or links
* e is updating the header
The Webmastor is the maintainer of the Header repository. E may update
it without objection.
I'm not sold on the "without objection" part here; it just seems like it
would contribute to a lot of inefficiency, especially when we notice
something is wrong. This also couldn't be bypassed with another player's
pull request since the Webmastor would still have to merge it and I
think that would be considered a modification by the Webmastor.
For each repository that represents an office, the current officeholder
is the maintainer.
I would appreciate it if maintainers also had at least limited control
over some of the settings, especially those relating to the inner
organization of the repository.
# Live Reports
A Live Report is a webpage that displays a non-official version of an
Agora report, with the intent of being updated frequently.
A Live Report SHOULD note that it is unofficial and clearly mark the
time (to the minute) and date that it was last updated. It should also
link to a copy of the most recent official report.
}
--
Trigon
Treasuror of Agora; Former Speaker (twice), Rulekeepor (12 months) and
Cartographor (8 months) of Agora; Champion of Agora by High Score and
Proposal; Bearer of the Badge of the Salted Earth; Founder of the League
of Agorans Facilitating Effective Recordkeeping; Arcadian Revivalist;
Sixth-Longest Continually Registered Player of Agora; Player and former
Emperor of BlogNomic; Player, Book-keeper, and Originator of the
Metaruleset of Infinite Nomic; Contributor to the nomic.club wiki and
the Talk:Nomic page on Wikipedia.
