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.

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

Jump to bottom

Project Maintenance Fixes #167

Merged
merged 6 commits into from
Oct 4, 2023
Merged

Project Maintenance Fixes #167

merged 6 commits into from
Oct 4, 2023

Commits on Sep 29, 2023

  1. .github: add codeql workflow 

    Signed-off-by: Enrico Joerns <[email protected]>
    @ejoerns
    ejoerns committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    df407d4 View commit details
    Browse the repository at this point in the history

  2. README.md: replace lgtm badges by CodeQL badge 

    Signed-off-by: Enrico Joerns <[email protected]>
    @ejoerns
    ejoerns committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    c2e54ee View commit details
    Browse the repository at this point in the history

  3. README.md: unify command line call listings 

    Remove excess whitespace and add leading prompt.

Signed-off-by: Enrico Joerns <[email protected]>
    @ejoerns
    ejoerns committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    ad2608d View commit details
    Browse the repository at this point in the history

  4. README.md: some minor fixes 

    Signed-off-by: Enrico Joerns <[email protected]>
    @ejoerns
    ejoerns committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    af4535b View commit details
    Browse the repository at this point in the history

  5. README.md: note minimal build requirements 

    Signed-off-by: Enrico Joerns <[email protected]>
    @ejoerns
    ejoerns committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    c576445 View commit details
    Browse the repository at this point in the history

  6. add .readthedocs.yaml to fix build 

    readthedocs.org starts refusing builds with missing or old config files:

| Error
| The configuration file required to build documentation is missing from
| your project. Add a configuration file to your project to make it build
| successfully. Read more at
| https://docs.readthedocs.io/en/stable/config-file/v2.html

First of all, this just adds the basic template suggested under the
above-mentioned link.

Signed-off-by: Enrico Joerns <[email protected]>
    @ejoerns
    ejoerns committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    f4e6c0b View commit details
    Browse the repository at this point in the history