From 6dc0e65802407ad7e109a5cb35bc997cb8de7aa6 Mon Sep 17 00:00:00 2001
From: James <inbox.dev@jhodges.co.uk>
Date: Wed, 26 Jun 2019 10:07:28 +0100
Subject: [PATCH] change includes to requires

---
 no_label_milestone.php | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/no_label_milestone.php b/no_label_milestone.php
index 0f1e592..808deb9 100644
--- a/no_label_milestone.php
+++ b/no_label_milestone.php
@@ -4,11 +4,11 @@
 //2a. Adds a no-label label to any issues with no labels (excluding the no-label and no-milestone)
 //2b. Also removes the label if present on an issue with a label (excluding the no-label and no-milestone)
 
-include("src/Client.php");
-include("src/Issue.php");
-include("src/Label.php");
-include("src/Repo.php");
-$config=include("config.php");
+require("src/Client.php");
+require("src/Issue.php");
+require("src/Label.php");
+require("src/Repo.php");
+$config=require("config.php");
 
 //pass cmd line args
 if($argc<3){