github (project - Haifa3D) permissions
- create a token (in github personal accaount - settings - Developer settings - Personal access tokens - Generate new token).
- create github.properties file in your root project. this file should contain just (with out quotes): "gpr.usr=ID" - ID is yours personal github id. "gpr.key=KEY" - KEY is the tooken that created in 1.