<div dir="auto"><div><div class="gmail_extra"><div class="gmail_quote">Le 1 juil. 2017 10:18 AM, "Serhiy Storchaka" <<a href="mailto:storchaka@gmail.com">storchaka@gmail.com</a>> a écrit :<blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Victor closed a half of hundred his issues.<br></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">Let me elaborate :-) I am still learning the new GitHub workflow, and it's common that I forget to close issues after merging a change. I had many issues that I forgot to update since we moved to GitHub.</div><div dir="auto"><br></div><div dir="auto">I had also complex bugs splitted into small issues and it took time to fix all branches and to wait for buildots to confirm that it's really fixed.</div><div dir="auto"><br></div><div dir="auto">To finish, I closed a lot of issues that were older than 2 years because the bug was fixed in the meanwhile in another issue, or just because I lost track of the issue and also lost interest and I don't consider that the bug or feature was worth it.</div><div dir="auto"><br></div><div dir="auto">Victor </div><div dir="auto"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"></blockquote></div></div></div></div>