Closed
Description
old options were only stored in memory. since 9534e4c we can save repo specific options. lets save them in there too
{{ message }}
No one assigned
No type
No projects
None yet
No branches or pull requests
old options were only stored in memory. since 9534e4c we can save repo specific options. lets save them in there too