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.
reflect changes
Merge branch 'pr/remove_devel_from_gitguide'