Learn more about these different git repos.
Other Git URLs
b3a3575
gather: Simplify creating temporary directory There is no need to create the directory in work/, as it will get deleted immediately. Let's move it to /tmp and use the context manager to clean it up. Signed-off-by: Lubomír Sedlář <lsedlar@redhat.com>