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

Prevent git operations for inactive users #13527

Merged
merged 5 commits into from
Nov 12, 2020

Commits on Nov 12, 2020

  1. Configuration menu
    Copy the full SHA
    ad39c50 View commit details
    Browse the repository at this point in the history
  2. Some fixes

    lunny committed Nov 12, 2020
    Configuration menu
    Copy the full SHA
    461ef8b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    ed512bf View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    403a4b9 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    6e35064 View commit details
    Browse the repository at this point in the history