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

Check that the old and new webtools_maps contexts are identical. #113

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Check that the old and new webtools_maps contexts are identical. #113

wants to merge 4 commits into from

Commits on Nov 6, 2019

  1. Check that the old and new webtools_maps contexts are identical.

    @pfrenssen
    pfrenssen committed Nov 6, 2019
    Configuration menu
    Copy the full SHA
    62ae72c View commit details
    Browse the repository at this point in the history

  2. Try to work around cryptic Drone error message.

    @pfrenssen
    pfrenssen committed Nov 6, 2019
    Configuration menu
    Copy the full SHA
    fb7d134 View commit details
    Browse the repository at this point in the history

  3. Move the check to a script.

    @pfrenssen
    pfrenssen committed Nov 6, 2019
    Configuration menu
    Copy the full SHA
    4134f60 View commit details
    Browse the repository at this point in the history

  4. Ensure that both context files contain identical code.

    @pfrenssen
    pfrenssen committed Nov 6, 2019
    Configuration menu
    Copy the full SHA
    149eaab View commit details
    Browse the repository at this point in the history