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.

Sign up for GitHub

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

Jump to bottom

Admin page and default admin account #5

Open

surajx opened this issue Oct 11, 2017 · 0 comments

Labels

enhancement medium

Owner

surajx commented Oct 11, 2017

In gitlab by @surajx on Jan 22, 2016, 19:23

Create an admin page with the ability to elevate user roles. With the default role being student.
Maybe show statistical information about proofs and stuff on the admin page.
On deployment of application check for existence of an admin account, if none exists create one.

surajx added enhancement medium labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment