Skip to content
New issue

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

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

Already on GitHub? # to your account

[Meta] Clean up of issues #111

Closed
PonteIneptique opened this issue Jun 26, 2018 · 1 comment
Closed

[Meta] Clean up of issues #111

PonteIneptique opened this issue Jun 26, 2018 · 1 comment

Comments

@PonteIneptique
Copy link
Member

I'd like to do some clean up in the issues : I propose the following to be closed (because they are not relevant to our current workflow. Their content will still be available...) :

So in general User Stories or things that were fixed

@balmas
Copy link
Contributor

balmas commented Jul 5, 2018

I don't object to closing these but I think as we do so we should add comments which state explicitly the reason why. Some of these were determined to be out of scope, but others were actually implemented in some way in the specification. It would be good to be clear about which is which.

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants