As we said before, we were initially hoping to use the issue tracker WP6 was planning to use, but WP6's issue tracker is still unavailable for testing, and we cannot wait any longer.
We have just enabled GitHub issue trackers for our projects. Every project (e.g. every specification chapter) will have its own, separate issue tracker.
We still may decide to switch to some other issue tracker (if we decide on it quickly). If you think GitHub is not a proper place for tracking our issues, please provide your arguments (and alternatives) here.
As we said before, we were initially hoping to use the issue tracker WP6 was planning to use, but WP6's issue tracker is still unavailable for testing, and we cannot wait any longer.
We have just enabled GitHub issue trackers for our projects. Every project (e.g. every specification chapter) will have its own, separate issue tracker.
We still may decide to switch to some other issue tracker (if we decide on it quickly). If you think GitHub is not a proper place for tracking our issues, please provide your arguments (and alternatives) here.