devel/jenkins: Update to 2.480

Sponsored by:	The FreeBSD Foundation

devel/jenkins/Makefile

 PORTNAME=	jenkins
-PORTVERSION=	2.479
+PORTVERSION=	2.480
 CATEGORIES=	devel java
 MASTER_SITES=	https://get.jenkins.io/war/${PORTVERSION}/
 DISTNAME=	jenkins

devel/jenkins/distinfo

-TIMESTAMP = 1727877441
-SHA256 (jenkins/2.479/jenkins.war) = 910ea36cef37c45087e39d65e335988e036fccea47c79cc5a52e721a10cb1b49
-SIZE (jenkins/2.479/jenkins.war) = 95988810
+TIMESTAMP = 1728472111
+SHA256 (jenkins/2.480/jenkins.war) = b9cb2a0d6489805da7b0b198cdedf004f0251eb0848b6cf82128755e76b5d93d
+SIZE (jenkins/2.480/jenkins.war) = 96029975