Remove now unused definitions of %koji and %fedpkg.

Removed from upstream goals.

diff --git a/Goalfile b/Goalfile
index c63832f..86e7992 100644 (file)
--- a/Goalfile
+++ b/Goalfile
@@ -6,10 +6,6 @@ let fedora-dir = "%HOME/d/fedora"
 
 let fedora-branch = "master"
 let fedora-tag = "f33-build-side-19773"
-let koji = "koji"
-#let koji = "koji -p riscv64"
-let fedpkg = "fedpkg"
-#let fedpkg = "fedpkg --user-config %HOME/d/fedora-ocaml-rebuild/fedpkg-user-config"
 
 # The magic string that must appear in %changelog when the
 # package has been rebuilt.