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

Change @rules_pkg// to @// to allow users to name the repo what they want. #154

Merged
merged 18 commits into from
May 28, 2020

Commits on Apr 15, 2020

  1. Change @rules_pkg// to @// when approriate.

    This allows users to include the rules and remap the repo to a new name
    I used the @// to give a visual reminder that this is interpreted
    w.r.t. to the repo, and not your workspace root.
    aiuto committed Apr 15, 2020
    Configuration menu
    Copy the full SHA
    36039a4 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2020

  1. Merge branch 'master' into rmr

    aiuto committed Apr 17, 2020
    Configuration menu
    Copy the full SHA
    f0830d4 View commit details
    Browse the repository at this point in the history
  2. do the experimental branch

    aiuto committed Apr 17, 2020
    Configuration menu
    Copy the full SHA
    331411a View commit details
    Browse the repository at this point in the history
  3. Merge branch 'master' into rmr

    aiuto committed Apr 17, 2020
    Configuration menu
    Copy the full SHA
    9f1b3ba View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2020

  1. Merge branch 'master' into rmr

    aiuto committed Apr 24, 2020
    Configuration menu
    Copy the full SHA
    f1753ad View commit details
    Browse the repository at this point in the history
  2. Merge branch 'master' into rmr

    aiuto committed Apr 24, 2020
    Configuration menu
    Copy the full SHA
    c5a665a View commit details
    Browse the repository at this point in the history
  3. sync.to.master

    aiuto committed Apr 24, 2020
    Configuration menu
    Copy the full SHA
    e522ddd View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2020

  1. merge from upstream

    aiuto committed Apr 28, 2020
    Configuration menu
    Copy the full SHA
    f8eed7f View commit details
    Browse the repository at this point in the history
  2. Merge branch 'master' into rmr

    aiuto committed Apr 28, 2020
    Configuration menu
    Copy the full SHA
    40ce36b View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2020

  1. Merge branch 'master' into rmr

    aiuto committed Apr 29, 2020
    Configuration menu
    Copy the full SHA
    6b52ff7 View commit details
    Browse the repository at this point in the history

Commits on May 4, 2020

  1. Merge branch 'master' into rmr

    aiuto committed May 4, 2020
    Configuration menu
    Copy the full SHA
    5e53328 View commit details
    Browse the repository at this point in the history
  2. Merge branch 'master' into rmr

    aiuto committed May 4, 2020
    Configuration menu
    Copy the full SHA
    c6d8511 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2020

  1. Merge branch 'master' into rmr

    aiuto committed May 19, 2020
    Configuration menu
    Copy the full SHA
    c9b1ff1 View commit details
    Browse the repository at this point in the history
  2. Merge branch 'master' into rmr

    aiuto committed May 19, 2020
    Configuration menu
    Copy the full SHA
    517ae34 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2020

  1. Merge branch 'master' into rmr

    aiuto committed May 22, 2020
    Configuration menu
    Copy the full SHA
    5c859db View commit details
    Browse the repository at this point in the history

Commits on May 26, 2020

  1. Merge branch 'master' into rmr

    aiuto committed May 26, 2020
    Configuration menu
    Copy the full SHA
    a02e872 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2020

  1. @// -> //

    aiuto committed May 27, 2020
    Configuration menu
    Copy the full SHA
    51cecb8 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2020

  1. Merge branch 'master' into rmr

    aiuto authored May 28, 2020
    Configuration menu
    Copy the full SHA
    7c4f9d8 View commit details
    Browse the repository at this point in the history