diff Jenkinsfile @ 7796:509b0dca0a3a

admin: drop c.repos_list assignment in repos index - it is only used when actually editing a repo
author Mads Kiilerich <mads@kiilerich.com>
date Tue, 06 Aug 2019 22:07:00 +0200
parents 58713c2ebfff
children d9e37f7fd35b
line wrap: on
line diff