Branch: refs/heads/master Home: https://github.com/phpmyadmin/scripts Commit: b38e4dfff2b4600d51504706953b5c6b9c5254ae https://github.com/phpmyadmin/scripts/commit/b38e4dfff2b4600d51504706953b5c6... Author: William Desportes williamdes@wdes.fr Date: 2020-10-08 (Thu, 10 October 2020) +02:00

Changed paths: M hooks/lib/github.php

Log Message: ----------- Handle tag pushes

Signed-off-by: William Desportes williamdes@wdes.fr