You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: Github/Data/Definitions.hs
+11Lines changed: 11 additions & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -188,6 +188,7 @@ data GitObject = GitObject {
188
188
dataIssue=Issue{
189
189
issueClosedAt::MaybeGithubDate
190
190
,issueUpdatedAt::GithubDate
191
+
,issueEventsUrl::String
191
192
,issueHtmlUrl::MaybeString
192
193
,issueClosedBy::MaybeGithubOwner
193
194
,issueLabels:: [IssueLabel]
@@ -267,6 +268,16 @@ data EventType =
267
268
| Assigned--^ The issue was assigned to the actor.
268
269
| Closed--^ The issue was closed by the actor. When the commit_id is present, it identifies the commit that closed the issue using “closes / fixes #NN” syntax.
269
270
| Reopened--^ The issue was reopened by the actor.
271
+
| ActorUnassigned--^ The issue was unassigned to the actor
272
+
| Labeled--^ A label was added to the issue.
273
+
| Unlabeled--^ A label was removed from the issue.
274
+
| Milestoned--^ The issue was added to a milestone.
275
+
| Demilestoned--^ The issue was removed from a milestone.
276
+
| Renamed--^ The issue title was changed.
277
+
| Locked--^ The issue was locked by the actor.
278
+
| Unlocked--^ The issue was unlocked by the actor.
279
+
| HeadRefDeleted--^ The pull request’s branch was deleted.
280
+
| HeadRefRestored--^ The pull request’s branch was restored.
0 commit comments