Learn more about these different git repos.
Other Git URLs
4210300
@@ -1066,7 +1066,6 @@
"required": [
"treefile",
"config_url",
- "repo",
"ostree_repo",
],
"additionalProperties": False,
Per @siosm in https://pagure.io/pungi-fedora/pull-request/1227 this option "is deprecated and not needed anymore", so Pungi should not be requiring it.
Signed-off-by: Adam Williamson awilliam@redhat.com
Thanks!
The option is valid, but it only makes sense for external repos. The ostree phase runs before the variant repos are generated, so setting Everything doesn't actually do anything useful.
Everything
Before merging, I'll also adjust accessing the option to make sure that will not require it: #1715.
Commit 432b0bc fixes this pull-request
Pull-Request has been merged by lsedlar
The patch is included in https://koji.fedoraproject.org/koji/buildinfo?buildID=2347146
Per @siosm in https://pagure.io/pungi-fedora/pull-request/1227
this option "is deprecated and not needed anymore", so Pungi
should not be requiring it.
Signed-off-by: Adam Williamson awilliam@redhat.com