From 8776aa60c602508306b96ff10e23d41843ed04a0 Mon Sep 17 00:00:00 2001
From: Jamie Thompson <git@jami.me>
Date: Wed, 5 Jun 2019 12:57:12 +0100
Subject: [PATCH] fix: change GitHub platform to be a named function instead of
 an arrow function

---
 source/platforms/GitHub.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/platforms/GitHub.ts b/source/platforms/GitHub.ts
index 9f85cfeb5..4423e1dca 100644
--- a/source/platforms/GitHub.ts
+++ b/source/platforms/GitHub.ts
@@ -13,7 +13,7 @@ import { GitHubChecksCommenter } from "./github/comms/checksCommenter"
 
 export type GitHubType = Platform & { api: GitHubAPI }
 
-export const GitHub = (api: GitHubAPI) => {
+export function GitHub(api: GitHubAPI) {
   /**
    * Converts the PR JSON into something easily used by the Github API client.
    */