Resolves #3
This commit is contained in:
@@ -35,6 +35,8 @@ Instructions
|
||||
This tutorial is for GitHub users who know how to create and use repositories,
|
||||
but are unfamiliar with GitHub's issue tracking features.
|
||||
|
||||
\step{1}{Open your repository's Issues page}
|
||||
|
||||
\step{1}{Create an issue}
|
||||
Create the issue. Done.
|
||||
|
||||
@@ -45,5 +47,6 @@ An issue is just a monoid object in a monoidal category of endofunctors.
|
||||
What's the problem?
|
||||
|
||||
\step{4}{Marking an issue as resolved}
|
||||
Making edit to resolve the issue that will be used as an example here.
|
||||
|
||||
\end{document}
|
||||
|
||||
Reference in New Issue
Block a user