[phpMyAdmin Git] [phpmyadmin/scripts] b38e4d: Handle tag pushes

[William Desportes]

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