Skip to content
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.

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

Cleanup #116

Commits on Jan 30, 2024

  1. New script generating release notes (gap-system#5613)

    * dev/releases/utils.py: move GitHub specific code to new file so that
      one can use the utils code without having the "github" python package installed.
    
    * Rename release_notes.readme.md -> README.release_notes.md
    
    * use `from utils import error, notice`
    
    * New script for generating release notes
    
    * Tweak dev/releases/create_stable_branch.py
    fingolfin authored Jan 30, 2024
    Configuration menu
    Copy the full SHA
    4fddc12 View commit details
    Browse the repository at this point in the history
  2. buildsys: detect 'check-manuals' exit code (gap-system#5614)

    The 'tee' and subshell combo ate the exit code. Also get rid of the
    'dev/log' subdirectory.
    fingolfin authored Jan 30, 2024
    Configuration menu
    Copy the full SHA
    6873315 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. dev/releases/utils.py: move GitHub specific code to new file

    ... so that one can use the utils code without having the "github"
    python package installed.
    fingolfin authored and james-d-mitchell committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    be87d49 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    2d6dd7c View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    96e0ad4 View commit details
    Browse the repository at this point in the history