github: Repo::default_branch can actually be null...

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

diff --git a/lib/github/api.nit b/lib/github/api.nit
index 8684c29..0323fbe 100644 (file)
--- a/lib/github/api.nit
+++ b/lib/github/api.nit
@@ -555,7 +555,7 @@ class Repo
        var owner: User is writable
 
        # Repo default branch name.
-       var default_branch: String is writable
+       var default_branch: nullable String = null is optional, writable
 end
 
 # A Github branch.