Merge branch 'develop' into 'docs'

# Conflicts:
#   .gitlab-ci.yml
#   workflow/scripts/get_updated_rep_count.sh
13 jobs for !77 with docs in 253 minutes and 27 seconds (queued for 34 minutes and 30 seconds)
detached