Github mirror pointing at wrong branch

[Justin Mclean]

Hi,

The github mirror has changed to master rather than develop (again).

What do we need to do to get this fixed?

Would a better solution be just work in master and have a released/stable 
branch in GIt?

Thanks,
Justin