• Update to 10.0.2
• Pet portlint: fix diff header of patch files

Changes: https://gitlab.com/gitlab-org/gitlab_git/blob/master/CHANGELOG

		https://gitlab.com/gitlab-org/gitlab_git/commits/master