Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Replace todo.m with GitHub issues (#14-17) #18

Merged
merged 1 commit into from
Jun 22, 2020

Conversation

rtopfer
Copy link
Contributor

@rtopfer rtopfer commented Jun 22, 2020

Created issues #14 #15 #16 #17 from items listed in todo.m / todo.md (deleting the two files)
Closes #13

@rtopfer rtopfer added the documentation Improvements or additions to documentation label Jun 22, 2020
@rtopfer rtopfer requested a review from jcohenadad June 22, 2020 08:46
Copy link
Member

@jcohenadad jcohenadad left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@rtopfer rtopfer force-pushed the rt/todo-into-githubissues#13 branch from 33790cc to 2e0b186 Compare June 22, 2020 16:49
@rtopfer
Copy link
Contributor Author

rtopfer commented Jun 22, 2020

@jcohenadad ^oversight, fixed/deleted

@rtopfer rtopfer merged commit 266e732 into master Jun 22, 2020
@rtopfer rtopfer deleted the rt/todo-into-githubissues#13 branch June 22, 2020 20:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Break the todo.m into specific GH's issues
2 participants