# Returns the repo `full_name`.
#
- # Example: `"privat/nit"`
+ # Example: `"nitlang/nit"`
redef fun key do return repo.full_name
# We need a `GithubAPI` client to load Github data.
#
# Used to load players from saved data.
init from_json(game: Game, json: JsonObject) do
- self.game = game
- name = json["name"].to_s
+ init(game, json["name"].to_s)
nitcoins = json["nitcoins"].as(Int)
end