From a52ba40a9c80fc9efff6340d3253a95e508eb360 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 26 Feb 2020 13:57:31 +0000
Subject: [PATCH] Remove now unused definitions of %koji and %fedpkg.

Removed from upstream goals.
---
 Goalfile | 4 ----
 1 file changed, 4 deletions(-)

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.
-- 
1.8.3.1