github
Our GitHub workflow:
Emojis instead of textual issue types
| Original | Ours | Notes |
|---|---|---|
| 🟡 Task | 🛠️ | |
| 🔴 Bug | 🐞 | |
| 🔵 Feature | 🧩 | this emoji works better for little enhancements |
3×2 matrix of two fields instead of plain Priority
Our Impact |
Our Effort |
Notes |
|---|---|---|
| High / Medium | Quick ⚡️ | quick wins |
| High / Medium | Hard | triaged |
| Low | Quick ⚡️ | triaged |
| Low | Hard | go to Backlog automatically |
Global Tags field instead of per-repo Labels
known issue
Our workarounds for known GitHub issues
A private repository issue cannot be transferred to a public repository.
Workaround:
- Create an empty "proxy" private repo
- Transfer issue there
- Make the "proxy" repo public
- Now transfer the issue to desired public repo