{"push_id":592158947,"size":1,"distinct_size":1,"ref":"refs/heads/let-players-change-their-names","head":"4d136bad118a8ae6a51728130b23c95777cbc11c","before":"022d0bc857513bc800f745634a1ae21d2f635495","commits":[{"sha":"4d136bad118a8ae6a51728130b23c95777cbc11c","author":{"email":"73262ad0334ab37227b2f7a0205f51db1e606681@fkoeberle.de","name":"Florian Köberle"},"message":"User player name & color settings even when a known player joins.\n\nUnique player names are still enforced. If the user picks a name\nthat is used, he will get the wish name + a small number.\n\nReasoning for letting all players rename as they want:\nThey can create new profiles anyway. Cleanup up old profiles\nisn't fun, so the goal should be to encourage players to keep\ntheir profiles.","distinct":true,"url":"https://api.github.com/repos/flo/Terasology/commits/4d136bad118a8ae6a51728130b23c95777cbc11c"}]}