just for the record, the pull request is for changing OBS defaults, but for tumbleweed it is a config setting we can do at any time.