 		DLog("Checking closed PR to see if it was merged: %@", r.title)
 
 		let repoFullName = r.repo.fullName ?? "NoRepoFullName"
-		let repoNumber = r.number ?? "NoRepoNumber"
+		let repoNumber = r.number?.stringValue ?? "NoRepoNumber"
 		get("/repos/\(repoFullName)/pulls/\(repoNumber)", fromServer: r.apiServer, ignoreLastSync: false, parameters: nil, extraHeaders: nil,
 			success: { (response, data) in
 

						if success {
							self.successfulRefreshesSinceLastLabelCheck = 0
						} else {
							// 404/410 means the PR has been deleted
							if !(resultCode==404 || resultCode==410) {
								p.apiServer.lastSyncSucceeded = false
							}

					if success {
						self.successfulRefreshesSinceLastStatusCheck = 0
					} else {
						// 404/410 means the status has been deleted
						if !(resultCode==404 || resultCode==410) {
							apiServer.lastSyncSucceeded = false
						}
