GitLab

This gives the interval in seconds between auto saves of tasks. That might be
used to reduce server load during contest.

This gives the interval in seconds between auto saves of tasks. That might be
used to reduce server load during contest.

This reverts commit c4a683e6.

This reverts commit 4d76aa1e.