Skip to content

Issues: gap-system/ReleaseTools

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
29 Open 46 Closed
29 Open 46 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

The release-gap-package fails copying the files if the folder has a space in the name
#105 by CAPiedade was closed Mar 14, 2024
1
Ensure GAP (and PYTHON) uses an absolute path
#97 by fingolfin was closed Aug 30, 2023
1
makedoc.g
#88 by jspreer was closed Aug 13, 2021
1
Regression: release fails for packages with multiple manuals / where PackageDoc is a list
#81 by fingolfin was closed Feb 23, 2022
Attempt to run make distclean before autogen.sh in release-gap-package
#76 by wilfwilson was closed May 18, 2021
2
Compiling the package manual may require the package to be loaded (and hence the package compiled)
#74 by wilfwilson was closed Feb 9, 2021
4
Supporting monorepos like homalg_project
#70 by zickgraf was closed Feb 25, 2021
5
Add support for uploading manual PDFs to GitHub release system
#69 by fingolfin was closed Feb 26, 2021
1
Switch authentication from query parameters to HTTP basic authentication
#65 by fingolfin was closed Feb 13, 2020
3 tasks done
@fingolfin
1
Checking release date
#62 by olexandr-konovalov was closed Dec 9, 2019
1
Perhaps rename the script from release to e.g. gap-pkg-release, to make it "installable" into PATH?
#60 by fingolfin was closed Feb 12, 2020
1
Unhelpful error message doc/title.xml: needs update
#58 by fingolfin was closed Feb 12, 2020
Support images in manuals
#55 by olexandr-konovalov was closed Mar 14, 2022
2
2
Option --only-tarball does not build a tarball
#54 by sebasguts was closed Feb 12, 2020
Allow to exclude tracked files from the package release archive
#49 by olexandr-konovalov was closed Feb 13, 2018
4
Add facility for adding non-tracked files to the package archive
#48 by james-d-mitchell was closed Feb 13, 2018
12
Use token for git push
#45 by fingolfin was closed Sep 8, 2017
Update token docs
#44 by fingolfin was closed Sep 10, 2017
3 tasks done
1
git diff-index occasionally fails
#43 by ChrisJefferson was closed Aug 31, 2017
3
Renaming README is not picked up
#39 by olexandr-konovalov was closed Feb 4, 2017
2
Remind that paths are case sensitive
#38 by olexandr-konovalov was closed Feb 13, 2018
1
sh regular expression capability
#37 by csoeger was closed May 13, 2016
1
Portability problems
#35 by markuspf was closed Mar 7, 2016
4
Make sure push works for people who haven't setup an SSH key -- or at least warn
#33 by fingolfin was closed Feb 21, 2016
1
Document various ways to specify GitHub token
#32 by fingolfin was closed Feb 21, 2016
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.