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

Pin tags #671

Merged
merged 8 commits into from
Apr 29, 2018
Merged

Pin tags #671

merged 8 commits into from
Apr 29, 2018

Commits on Apr 28, 2018

  1. Pin tags where it makes sense to do so

    @rnorth
    rnorth committed Apr 28, 2018
    Configuration menu
    Copy the full SHA
    b6e58bf View commit details
    Browse the repository at this point in the history

  2. Update changelog and docs

    @rnorth
    rnorth committed Apr 28, 2018
    Configuration menu
    Copy the full SHA
    c8fdd96 View commit details
    Browse the repository at this point in the history

  3. Add further pinning in JDBC URL-related tests

    @rnorth
    rnorth committed Apr 28, 2018
    Configuration menu
    Copy the full SHA
    499e862 View commit details
    Browse the repository at this point in the history

  4. Update licence acceptance

    @rnorth
    rnorth committed Apr 28, 2018
    Configuration menu
    Copy the full SHA
    d045de0 View commit details
    Browse the repository at this point in the history

  5. Add PR link to changelog

    @rnorth
    rnorth committed Apr 28, 2018
    Configuration menu
    Copy the full SHA
    e01fc58 View commit details
    Browse the repository at this point in the history

  6. Use fixed tag names for JDBC URLs when none specified 

    (equivalent to current 'latest')
    @rnorth
    rnorth committed Apr 28, 2018
    1 Configuration menu
    Copy the full SHA
    bd0265f View commit details
    Browse the repository at this point in the history

  7. Update docs

    @rnorth
    rnorth committed Apr 28, 2018
    Configuration menu
    Copy the full SHA
    2a392ae View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2018

  1. Improve public API compatibility

    @rnorth
    rnorth committed Apr 29, 2018
    Configuration menu
    Copy the full SHA
    10e7e14 View commit details
    Browse the repository at this point in the history