Branch: refs/heads/master
Home:
https://github.com/phpmyadmin/scripts
Commit: b38e4dfff2b4600d51504706953b5c6b9c5254ae
https://github.com/phpmyadmin/scripts/commit/b38e4dfff2b4600d51504706953b5c…
Author: William Desportes <williamdes(a)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(a)wdes.fr>