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

Addressed issues raised since review posting. #62

Merged
merged 7 commits into from
Aug 5, 2021

Conversation

jack-watts
Copy link
Collaborator

@jack-watts jack-watts commented Jul 12, 2021

Addressed issues raised since review posting.
closes #59
closes #60
closes #57
closes #56
closes #64

@jack-watts jack-watts linked an issue Jul 25, 2021 that may be closed by this pull request
@jack-watts
Copy link
Collaborator Author

@palemieux Tuesday 27th marks two weeks from the plenary. All comments/typos caught have been addressed with the exception of #61 where I am awaiting feedback.

Are you happy to move forward with publishing this week?

@palemieux
Copy link
Collaborator

palemieux commented Aug 2, 2021

@jack-watts Can you list in the top comment which issues the PR is intended to resolve using GitHub keywords? For example,

Closes #60
Closes #59 
...

... and then merge.

@palemieux palemieux assigned jack-watts and unassigned palemieux Aug 2, 2021
@jack-watts jack-watts merged commit a663e29 into imfug:main Aug 5, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants