Erik Johnston cdf3f4bdcb Spell domain correctly před 8 roky
..
api cdf3f4bdcb Spell domain correctly před 8 roky
app 71df327190 Actually start the pusher daemon před 8 roky
appservice 7e2f971c08 Remove some unused functions (#711) před 8 roky
config 52ecbc2843 Make pyjwt dependency optional před 8 roky
crypto 2e2be463f8 Make key client send a Host header před 8 roky
events 76503f95ed Remove the is_new_state argument to persist event. před 8 roky
federation 9c272da05f Add an openidish mechanism for proving to third parties that you own a given user_id před 8 roky
handlers cdf3f4bdcb Spell domain correctly před 8 roky
http 351b50a887 Fix more typos in per-request metrics před 8 roky
metrics 6c28ac260c copyrights před 8 roky
push a3ac837599 Optionally split out the pushers into a separate process před 8 roky
replication 8d7ad44331 Report per request metrics for all of the things using request_handler před 8 roky
rest 573ef3f1c9 Rename openid/token to openid/request_token před 8 roky
static 0b31223c7a Updates to fallback CAS login to do new token login před 8 roky
storage cdf3f4bdcb Spell domain correctly před 8 roky
streams ddf9e7b302 Hook up the push rules to the notifier před 8 roky
util 72e2fafa20 Add a metrics listener and a ssh listener to the pusher před 8 roky
__init__.py e7aaa7c61e Bump version and changelog před 8 roky
notifier.py 2a37467fa1 Use google style doc strings. před 8 roky
python_dependencies.py 52ecbc2843 Make pyjwt dependency optional před 8 roky
server.py a3ac837599 Optionally split out the pushers into a separate process před 8 roky
state.py 5bbc321588 Always use state cache entry if it exists před 8 roky
types.py cdf3f4bdcb Spell domain correctly před 8 roky