github-tools-0.1.3: Various Github helper utilities. (Index - A)

github-tools-0.1.3: Various Github helper utilities.

A
B
C
D
E
F
G
H
I
J
L
M
O
P
R
S
T
U
V
W
All

Index - A

A	GitHub.Types.Workflow
Author
1 (Type/Class)	GitHub.Types.Base.Author, GitHub.Types.Base, GitHub.Types
2 (Data Constructor)	GitHub.Types.Base.Author, GitHub.Types.Base, GitHub.Types
authorEmail	GitHub.Types.Base.Author, GitHub.Types.Base, GitHub.Types
authorName	GitHub.Types.Base.Author, GitHub.Types.Base, GitHub.Types
authorUsername	GitHub.Types.Base.Author, GitHub.Types.Base, GitHub.Types
autoMergeAll	GitHub.Tools.AutoMerge
autoMergePullRequest	GitHub.Tools.AutoMerge