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

Add an admin APIs to allow server admins to list users' pushers #8610

Merged
merged 7 commits into from
Oct 28, 2020

Commits on Oct 20, 2020

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

    dklimpel committed Oct 20, 2020
    Configuration menu
    Copy the full SHA
    1625d93 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2020

  1. Add missing doc string

    dklimpel committed Oct 21, 2020
    Configuration menu
    Copy the full SHA
    4b9b7bc View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2020

  1. Apply suggestions from code review

    Co-authored-by: Erik Johnston <erikj@jki.re>
    dklimpel and erikjohnston authored Oct 26, 2020
    Configuration menu
    Copy the full SHA
    32aa335 View commit details
    Browse the repository at this point in the history
  2. Add type hints and docstring

    dklimpel committed Oct 26, 2020
    Configuration menu
    Copy the full SHA
    819a86e View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    05b3b9d View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2020

  1. Merge remote-tracking branch 'synapse/develop' into admin_pushers

    Conflicts:
    	synapse/rest/admin/users.py
    	tests/rest/admin/test_user.py
    dklimpel committed Oct 27, 2020
    Configuration menu
    Copy the full SHA
    7261411 View commit details
    Browse the repository at this point in the history