gap-system/ReleaseTools

Issues

• The release-gap-package fails copying the files if the folder has a space in the name

  #105 opened 6 months ago by CAPiedade
  1

• Use the `gh` tool if available and user is logged in with it (or just unconditionally require it)

  #104 opened 6 months ago by fingolfin
  0

• Reject broken symlinks or even all

  #95 opened 2 years ago by fingolfin
  2

• Better support packages which have complex doc setup

  #103 opened a year ago by fingolfin
  0

• Switch away from passing tokens in URL / support fine grained permission tokens

  #102 opened a year ago by fingolfin
  0

• Ensure GAP (and PYTHON) uses an absolute path

  #97 opened a year ago by fingolfin
  1

• Reject filenames that would be invalid on Windows

  #96 opened 2 years ago by fingolfin
  0

• Strip (reps. prevent) owner username, group names etc. from tarball metadata

  #91 opened 3 years ago by fingolfin
  1

• Support images in manuals

  #55 opened 3 years ago by olexandr-konovalov
  2

• Automatically disable maintainer mode for packages using autoconf?

  #41 opened 7 years ago by fingolfin
  1

• Regression: release fails for packages with multiple manuals / where `PackageDoc` is a list

  #81 opened 3 years ago by fingolfin
  0

• Allow user to specify a version, and update all files for it

  #90 opened 3 years ago by fingolfin
  0

• More helpful errors

  #89 opened 3 years ago by fingolfin
  0

• makedoc.g

  #88 opened 3 years ago by jspreer
  1

• Prevent users from adding `tmp` to their repository

  #86 opened 3 years ago by fingolfin
  0

• Attempt to run make distclean before autogen.sh in release-gap-package

  #76 opened 3 years ago by wilfwilson
  2

• Add support for keeping multiple versions of package manuals around

  #68 opened 4 years ago by fingolfin
  1

• Add support for uploading manual PDFs to GitHub release system

  #69 opened 4 years ago by fingolfin
  0

• Supporting monorepos like homalg_project

  #70 opened 4 years ago by zickgraf
  5

• Fix more links in the online versions of manuals

  #73 opened 4 years ago by wilfwilson
  2

• Compiling the package manual may require the package to be loaded (and hence the package compiled)

  #74 opened 4 years ago by wilfwilson
  4

• Comments on README.md

  #72 opened 4 years ago by cdwensley
  2

• Switch authentication from query parameters to HTTP basic authentication

  #65 opened 5 years ago by fingolfin
  1

• Document `.release` scripts in packages (when they are called, what one can use this for, ...)

  #66 opened 5 years ago by fingolfin
  0

• Perhaps rename the script from `release` to e.g. `gap-pkg-release`, to make it "installable" into PATH?

  #60 opened 5 years ago by fingolfin
  1

• Unhelpful error message `doc/title.xml: needs update`

  #58 opened 5 years ago by fingolfin
  0

• Option `--only-tarball` does not build a tarball

  #54 opened 5 years ago by sebasguts
  0

• Option --only-tarball should not validate the ArchiveURL

  #53 opened 6 years ago by sebasguts
  1

• Rewrite this tool in Python

  #64 opened 5 years ago by fingolfin
  0

• Remind to check CI tests status before release

  #63 opened 5 years ago by olexandr-konovalov
  0

• Checking release date

  #62 opened 5 years ago by olexandr-konovalov
  1

• Start recording an actual version number (could also be a date); perhaps also cut official "releases" of ReleaseTools

  #61 opened 6 years ago by fingolfin
  0

• Improve support for manuals using old-style gapmacros.tex, doc/make_doc script

  #57 opened 6 years ago by fingolfin
  0

• Remind that paths are case sensitive

  #38 opened 7 years ago by olexandr-konovalov
  1

• Add facility for adding non-tracked files to the package archive

  #48 opened 7 years ago by james-d-mitchell
  12

• Allow to exclude tracked files from the package release archive

  #49 opened 7 years ago by olexandr-konovalov
  4

• Prompt user if tag already exists (instead of requiring `--force` or manual cleanup)

  #50 opened 7 years ago by fingolfin
  1

• Use --quitonbreak once GAP 4.9 is released

  #47 opened 7 years ago by fingolfin
  0

• Update token docs

  #44 opened 7 years ago by fingolfin
  1

• Use token for `git push`

  #45 opened 7 years ago by fingolfin
  0

• `git diff-index` occasionally fails

  #43 opened 7 years ago by ChrisJefferson
  3

• Add extended `PackageInfo.g` validation

  #42 opened 7 years ago by fingolfin
  0

• Add warning about unresolved links in documentation

  #40 opened 8 years ago by fingolfin
  0

• Renaming README is not picked up

  #39 opened 8 years ago by olexandr-konovalov
  2

• sh regular expression capability

  #37 opened 8 years ago by csoeger
  1

• Document that "gap" is an implict requirement, warn if it is missing, and allow an override

  #31 opened 9 years ago by fingolfin
  1

• Portability problems

  #35 opened 9 years ago by markuspf
  4

• Handle errors results from GitHub better

  #30 opened 9 years ago by fingolfin
  1

• Make sure push works for people who haven't setup an SSH key -- or at least warn

  #33 opened 9 years ago by fingolfin
  1

• Document various ways to specify GitHub token

  #32 opened 9 years ago by fingolfin
  1