Commit 0b95c3fa authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Add [make undo].

parent 01a8f863
...@@ -162,3 +162,9 @@ release: ...@@ -162,3 +162,9 @@ release:
publish: publish:
# Publish an opam description. # Publish an opam description.
@ opam publish -v $(DATE) $(THIS) $(ARCHIVE) . @ opam publish -v $(DATE) $(THIS) $(ARCHIVE) .
.PHONY: undo
undo:
# Undo the last release (assuming it was done on the same date).
@ git tag -d $(DATE)
@ git push -u origin :$(DATE)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment