303 - New rule about contents of player files

This commit is contained in:
Travis Briggs 2020-12-13 17:08:35 -08:00
parent 0991e07332
commit 2de28c9eec
1 changed files with 7 additions and 0 deletions

View File

@ -0,0 +1,7 @@
If the game is played using a git hosting platform, each player's file must at all times contain the platform username of that player, on a new line following any other required information in the file.
Additionally, each player is required to put between 0 and 256 bytes of additional information or content of their choosing at the end of their file, following the username and a new line. All such bytes must be character data encoded using UTF-8, or the offending player will lose 25 points.
In all cases the file must end in a newline, which is defined for the purposes of this game as a single "LF" character. This newline does not count against the byte count above.
At the adoption of this rule, there must be one or more pull requests to modify the player files to bring them up to date with it before the next turn can begin. Similarily, all player files must be subsequently valid with regards to this and any rules providing for their name or content, before any turn can begin. For the purposes of rule 117 "Git Repository", Pull Requests such as these are considered to be under section 6, administrative.