Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Avoid attempting to delete push actions for remote users. #12879

Merged
merged 3 commits into from
May 26, 2022

Commits on May 25, 2022

  1. Configuration menu
    Copy the full SHA
    de6e2bc View commit details
    Browse the repository at this point in the history
  2. Newsfragment

    clokep committed May 25, 2022
    Configuration menu
    Copy the full SHA
    94d960a View commit details
    Browse the repository at this point in the history
  3. More typos.

    clokep committed May 25, 2022
    Configuration menu
    Copy the full SHA
    19d3a89 View commit details
    Browse the repository at this point in the history