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>