git: d175c33935a0 - main - ports-mgmt/synth: update to 2.13 release (+)

From: Dima Panov <fluffy_at_FreeBSD.org>
Date: Wed, 01 Feb 2023 19:36:39 UTC 
The branch main has been updated by fluffy:

URL: https://cgit.FreeBSD.org/ports/commit/?id=d175c33935a0eabe5466f392241f4db5459e297d

commit d175c33935a0eabe5466f392241f4db5459e297d
Author:     Dima Panov <fluffy@FreeBSD.org>
AuthorDate: 2023-02-01 19:26:32 +0000
Commit:     Dima Panov <fluffy@FreeBSD.org>
CommitDate: 2023-02-01 19:36:35 +0000

    ports-mgmt/synth: update to 2.13 release (+)
    
    * Control the port scan environment (#212)
    * Adjust umount to prevent ccache directory from getting wiped out (#199)
    
    Release notes:  https://github.com/jrmarino/synth/releases/tag/v2.13
---
 ports-mgmt/synth/Makefile | 3 +--
 ports-mgmt/synth/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/ports-mgmt/synth/Makefile b/ports-mgmt/synth/Makefile
index 5555ad62f08c..45d89403fcca 100644
--- a/ports-mgmt/synth/Makefile
+++ b/ports-mgmt/synth/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	synth
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2.12
-PORTREVISION=	1
+DISTVERSION=	2.13
 CATEGORIES=	ports-mgmt
 
 MAINTAINER=	fluffy@FreeBSD.org
diff --git a/ports-mgmt/synth/distinfo b/ports-mgmt/synth/distinfo
index c197f0649961..b344fafc2a3d 100644
--- a/ports-mgmt/synth/distinfo
+++ b/ports-mgmt/synth/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1627166929
-SHA256 (jrmarino-synth-v2.12_GH0.tar.gz) = eab5a3375f0b52f2a6ee835ba9e343120379d190ee8de21a2716b675eddceb32
-SIZE (jrmarino-synth-v2.12_GH0.tar.gz) = 172039
+TIMESTAMP = 1675279152
+SHA256 (jrmarino-synth-v2.13_GH0.tar.gz) = 96ccab38d6a0bd10f4b408a4eb3e3aa3fc34a0c426957b14257e8dd59957592b
+SIZE (jrmarino-synth-v2.13_GH0.tar.gz) = 172031