From eae8139615a733ef81fa8af2d1c30d48de2fb65c Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Thu, 22 Oct 2020 13:18:19 +0200 Subject: [PATCH] reset the commit history of gh-pages Resolves #46 --- PackageInfo.g | 4 ++-- gap/PackageMaker.gi | 8 ++++++++ 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index 631fc8a..adc458b 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,8 +10,8 @@ SetPackageInfo( rec( PackageName := "PackageMaker", Subtitle := "A GAP package for creating new GAP packages", -Version := "0.9.3", -Date := "03/12/2019", # dd/mm/yyyy format +Version := "0.9.4", +Date := "22/10/2020", # dd/mm/yyyy format License := "GPL-2.0-or-later", Persons := [ diff --git a/gap/PackageMaker.gi b/gap/PackageMaker.gi index 44f3ef4..1a5cbb0 100644 --- a/gap/PackageMaker.gi +++ b/gap/PackageMaker.gi @@ -378,6 +378,14 @@ BindGlobal( "CreateGitRepository", function(dir, github) Error(dir, " is not a directory"); fi; + # reset the history of gh-pages + RunGit(["reset", "6c61c16db79418c6b250f4c6dc84ad70f0a7b60f"], + "Failed to reset gh-pages branch to initial commit" ); + RunGit(["add", "-A"], + "Failed to add back working tree to the gh-pages index" ); + RunGit(["commit", "--amend", "--author=\"Bot \"", "--no-edit"], + "Failed to amend the initial commit" ); + # We use the shell for the next commands to get glob expansion shell := Filename(DirectoriesSystemPrograms(), "sh");