Who have to close the issue? Is it issue reporter, pull sender or pull committer? More and more issues are now fixed but not closed.

I have asked it here
https://github.com/D-Programming-Language/druntime/pull/286#issuecomment-7650357
and here
https://github.com/D-Programming-Language/phobos/pull/742#issuecomment-7687225
and still there is no answer given.

-- 
Денис В. Шеломовский
Denis V. Shelomovskij

On Tuesday, 21 August 2012 at 14:59:05 UTC, Denis Shelomovskij wrote:
> Who have to close the issue? Is it issue reporter, pull sender or pull committer?

Usually, the committer closes the issue after merging the commit, but really anyone can – if some issues accidentally have been left open, feel free to close them after verifying that the bug is indeed fixed in Git master.

David

On Tuesday, 21 August 2012 at 14:59:05 UTC, Denis Shelomovskij wrote:
> Who have to close the issue? Is it issue reporter, pull sender or pull committer? More and more issues are now fixed but not closed.
>
> I have asked it here
> https://github.com/D-Programming-Language/druntime/pull/286#issuecomment-7650357
> and here
> https://github.com/D-Programming-Language/phobos/pull/742#issuecomment-7687225
> and still there is no answer given.

Third person who actually checked that the bug is indeed fixed.

That could be anyone, best if that's reporter (who probably knows more details about the bug) but could really be anyone (best if they have a clean install of fresh release).