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