#GitHub workflow

GitHub 조작과 Gira 작업 생명주기를 비교한 다이어그램

이슈를 닫는 것과 일을 끝내는 것은 다르다

(수정: )
PR은 merge됐는데 라벨은 남아 있고, 이슈는 닫혔는데 근거는 흐릿하다. GitHub 작업 상태가 흩어지는 문제를 어떻게 판단했고, 왜 Gira라는 마무리 루프를 만들게 됐는지 그 순서를 따라간다.