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

Database Management #6

Merged
merged 11 commits into from
Aug 29, 2023
Merged

Database Management #6

merged 11 commits into from
Aug 29, 2023

Commits on Aug 25, 2023

  1. Add local_setup, start database management

    @trappitsch
    trappitsch committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    5d79cbf View commit details
    Browse the repository at this point in the history

  2. merge

    @trappitsch
    trappitsch committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    6b54d61 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into db_management

    @trappitsch
    trappitsch committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    6bc859f View commit details
    Browse the repository at this point in the history

  4. re-add editing issue from last merge

    @trappitsch
    trappitsch committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    e424b88 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2023

  1. Add option to download database (latest or all)

    @trappitsch
    trappitsch committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    15c3348 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2023

  1. add setting / getting of current database

    @trappitsch
    trappitsch committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    42eb7cf View commit details
    Browse the repository at this point in the history

  2. Fix typehints for py3.8

    @trappitsch
    trappitsch committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    8a67e8d View commit details
    Browse the repository at this point in the history

  3. Update CURRENT to LOCAL_CURRENT

    @trappitsch
    trappitsch committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    ae985d7 View commit details
    Browse the repository at this point in the history

  4. pgdtools now uses downloading and local storage of db

    @trappitsch
    trappitsch committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    c12145a View commit details
    Browse the repository at this point in the history

  5. Update nox file 

    For xdoctest session, `nox` will now update the database locally first. This will allow us to have a fully installed and updated pgdtools installation available.
Note that on a personal computer, this will modify the `~/.config/pgdtools` folder (by updating it). However, this workflow most likely runs only on GitHub anyways (and also isn't harmful).
    @trappitsch
    trappitsch committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    383b6ea View commit details
    Browse the repository at this point in the history

  6. update docs

    @trappitsch
    trappitsch committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    c3a2c79 View commit details
    Browse the repository at this point in the history