From: Richard W.M. Jones <rjones@redhat.com>
Date: Wed, 26 Feb 2020 13:57:31 +0000 (+0000)
Subject: Remove now unused definitions of %koji and %fedpkg.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=a52ba40a9c80fc9efff6340d3253a95e508eb360;hp=35930e14be6f3c0401df989709dd654275117c30;p=fedora-ocaml-rebuild.git

Remove now unused definitions of %koji and %fedpkg.

Removed from upstream goals.
---

diff --git a/Goalfile b/Goalfile
index c63832f..86e7992 100644
--- 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.