Add tag command

Author: lsbardel

.github/copilot-instructions.md

@@ -0,0 +1,11 @@
+---
+description: 'Instructions for rops repo'
+applyTo: '/**'
+---
+
+
+# Makefile Instructions
+
+- Keep all targets sorted alphabetically.
+- targets should be separated by a one blank line only.
+- Each target should have a one-line description, starting with `##`, that describes what the target does. This description is used by the `help` target to generate documentation for all targets.

CLAUDE.md

@@ -1 +1,2 @@
 @readme.md
+@.github/copilot-instructions.md

Makefile

@@ -1,17 +1,26 @@
 .PHONY: help
-help:
+help:				## Show this help message
 	@echo ======================================================================================
 	@echo rOps
 	@echo ======================================================================================
 	@fgrep -h "##" $(MAKEFILE_LIST) | fgrep -v fgrep | sed -e 's/\\$$//' | sed -e 's/##//'
 	@echo ======================================================================================
 
-
 .PHONY: lint
 lint:				## Run linters and fix issues
 	@./dev/lint-rs fix
 
-
-.PHONY: lint
+.PHONY: lint-check
 lint-check:			## Run linters
 	@./dev/lint-rs
+
+.PHONY: tag
+tag:				## Tag current version (from Cargo.toml) and push
+	$(eval VERSION := $(shell grep '^version' Cargo.toml | head -1 | sed 's/version = "\(.*\)"/\1/'))
+	@read -p "Tagging with v$(VERSION), are you sure? [Y/n] " ans; \
+	ans=$${ans:-Y}; \
+	if [ "$$ans" = "Y" ] || [ "$$ans" = "y" ]; then \
+		git tag v$(VERSION) && git push origin v$(VERSION); \
+	else \
+		echo "Aborted."; \
+	fi