Commit Graph

8 Commits

Author SHA1 Message Date
Sebastian Serth
6795a05944 Fix search for users with deleted consumer 2020-11-18 23:17:55 +01:00
Sebastian Serth
8e8404dffa Add search for external users 2020-05-05 16:52:28 +02:00
Sebastian Serth
0b5ec1820d Fix link for external users 2019-01-15 17:37:34 +01:00
Sebastian Serth
1a26d67c82 Merge branch 'master' into add_roles_via_LTI
# Conflicts:
#	app/views/application/_breadcrumbs.html.slim
#	app/views/application/welcome.html.slim
#	app/views/exercise_collections/show.html.slim
#	app/views/external_users/index.html.slim
#	app/views/layouts/application.html.slim
#	app/views/proxy_exercises/index.html.slim
#	app/views/user_exercise_feedbacks/index.html.slim
#	app/views/user_mailer/send_thank_you_note.slim
2018-12-14 00:53:06 +01:00
Sebastian Serth
88081bb541 Replace usage of name in favor of displayname 2018-12-13 14:27:55 +01:00
Sebastian Serth
2125fb1c1d Ensure views only link to those actions allowed for current user 2018-12-12 14:09:19 +01:00
Hauke Klement
acf03b1f51 added pagination for all resources 2015-03-11 16:13:45 +01:00
Hauke Klement
4cbf9970b1 transferred Code Ocean from original repository to GitHub 2015-01-22 10:01:32 +01:00