Removing note about _devel_ branch from GitGuide.

The _devel_ branch has been removed, thus this doesn't need to be mentioned
in the guide anymore.