Learn more about these different git repos.
Other Git URLs
5d494e0
Make .gitignore prettier ...and ignore the build directory Signed-off-by: Nils Philippsen <nils@redhat.com>