Search results

Add table of contents to GitHub release

Status: Open.

#121 In gap-system/gap-distribution;

· olexandr-konovalov opened on Feb 20, 2021

Turn STABLE_BRANCH_CHECKLIST.md into a script

Status: Open.

#117 In gap-system/gap-distribution;

· fingolfin opened on Nov 13, 2020

Remove all <code>._FOO</code> files before creating GAP release tarballs

Status: Open.

#113 In gap-system/gap-distribution;

· fingolfin opened on Apr 8, 2020

Change package distribution scripts to reject package updates which contain <code>._FOO</code> files

Status: Open.

#112 In gap-system/gap-distribution;

· fingolfin opened on Apr 8, 2020

Windows/UNIX line endings in GAP Windows distribution

Status: Open.

#111 In gap-system/gap-distribution;

· olexandr-konovalov opened on Apr 5, 2020

Add test script for Cygwin from Jenkins

Status: Open.

#109 In gap-system/gap-distribution;

· ChrisJefferson opened on Mar 25, 2020

Add build script for Cygwin from jenkins

Status: Open.

#108 In gap-system/gap-distribution;

· ChrisJefferson opened on Mar 25, 2020

Windows installer with no admin rights required

Status: Open.

#107 In gap-system/gap-distribution;

· olexandr-konovalov opened on Mar 24, 2020

Remove timestamps from package archives

gapdays2020-springIssues and PRs that could be worked on during GAPDays2020Issues and PRs that could be worked on during GAPDays2020

packages

Status: Open.

#105 In gap-system/gap-distribution;

· olexandr-konovalov opened on Feb 7, 2020

Create package depositing checklist

gapdays2020-springIssues and PRs that could be worked on during GAPDays2020Issues and PRs that could be worked on during GAPDays2020

Status: Open.

#69 In gap-system/gap-distribution;

· olexandr-konovalov opened on Oct 16, 2018

wininst: autoupdate GAP directory path

gapdays2020-springIssues and PRs that could be worked on during GAPDays2020Issues and PRs that could be worked on during GAPDays2020

Status: Open.

#60 In gap-system/gap-distribution;

· olexandr-konovalov opened on Sep 7, 2018

Package links shouldn't break

gapdays2020-springIssues and PRs that could be worked on during GAPDays2020Issues and PRs that could be worked on during GAPDays2020

Status: Open.

#54 In gap-system/gap-distribution;

· ChrisJefferson opened on May 22, 2018