GitLab

These are no longer necessary per updates to HACKING. So remove them to
be consistent with our suggested contributions.