Branch: refs/heads/master Home: https://github.com/phpmyadmin/scripts Commit: 015c731548e45bd2d404c95d77e7b67e5b245b61 https://github.com/phpmyadmin/scripts/commit/015c731548e45bd2d404c95d77e7b67... Author: William Desportes <williamdes@wdes.fr> Date: 2020-11-21 (Sat, 11 November 2020) +01:00 Changed paths: M develdocs/build.sh M develdocs/doctum.php Log Message: ----------- Fix #38 - Set the default branch for GitHubRemoteRepository URLs Signed-off-by: William Desportes <williamdes@wdes.fr>