[phpMyAdmin Git] [phpmyadmin/scripts] 015c73: Fix #38 - Set the default branch for GitHubRemoteRepository URLs

[William Desportes]

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