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

Add bors #7

Merged
merged 6 commits into from May 31, 2022
Merged

Add bors #7

merged 6 commits into from May 31, 2022

Commits on May 30, 2022

  1. Add bors

    passcod committed May 30, 2022
    Configuration menu
    Copy the full SHA
    f8af198 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    373c363 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2022

  1. Configuration menu
    Copy the full SHA
    e4a81f6 View commit details
    Browse the repository at this point in the history
  2. Don’t use squash merge

    passcod committed May 31, 2022
    Configuration menu
    Copy the full SHA
    0b7d560 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    25e79a3 View commit details
    Browse the repository at this point in the history
  4. nope

    passcod committed May 31, 2022
    Configuration menu
    Copy the full SHA
    e775dbd View commit details
    Browse the repository at this point in the history