change documentation to reflect current development setup

the developer manual was still describing the configuration with GitHub. It has been changed to reflect the current setup