Lines Matching +full:- +full:- +full:github +full:- +full:issue

1 # Tracking SPIRV-Tools work with GitHub projects
3 We are experimenting with using the [GitHub Project
4 feature](https://help.github.com/articles/tracking-the-progress-of-your-work-with-projects/)
7 For more on GitHub Projects in general, see:
8 * [Introductory blog post](https://github.com/blog/2256-a-whole-new-github-universe-announcing-new-…
11 The current SPIRV-Tools project list can be found at
12 [https://github.com/KhronosGroup/SPIRV-Tools/projects](https://github.com/KhronosGroup/SPIRV-Tools/…
16 A GitHub Project is a set of work with an overall purpose, and
18 Each card is either a *Note* or a regular GitHub *Issue.*
19 A Note can be converted to an Issue.
44   * The issue should be narrow enough that it can usually be addressed by a
47     by updating the Issue with their intent to do the work.
48     Once an Issue is claimed, the project manager moves the corresponding card
61     idea is likely to be an Issue which has been closed.
72 A *placeholder* is a Note or Issue that represents a possibly large amount