Florian Gyger flogy

## push-tags.js
/**
 * MIT License
 *
 * Copyright (c) 2025 Florian Gyger <info@floriangyger.ch>
 * Date: 28.08.2025
 *
 * Description:
 * This script looks for unpushed git tags and pushes them one by one.
 * It works around the GitHub limitation that prevents triggering GitHub Action workflows
 * when more than 3 tags are pushed at once.
	/**
	* MIT License
	*
	* Copyright (c) 2025 Florian Gyger <info@floriangyger.ch>
	* Date: 28.08.2025
	*
	* Description:
	* This script looks for unpushed git tags and pushes them one by one.
	* It works around the GitHub limitation that prevents triggering GitHub Action workflows
	* when more than 3 tags are pushed at once.