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
+33-1Lines changed: 33 additions & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -265,7 +265,7 @@ data EventType =
265
265
| Referenced--^ The issue was referenced from a commit message. The commit_id attribute is the commit SHA1 of where that happened.
266
266
| Merged--^ The issue was merged by the actor. The commit_id attribute is the SHA1 of the HEAD commit that was merged.
267
267
| Assigned--^ The issue was assigned to the actor.
268
-
| 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.
268
+
| 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
269
| Reopened--^ The issue was reopened by the actor.
0 commit comments