id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
22040	Close GitHub PRs that have been merged	taylor.smock	team	"I don't have the ability to close some of the GitHub PRs that have been merged.

Specifically
* https://github.com/JOSM/josm/pull/77
* https://github.com/JOSM/josm/pull/93 (if Firefishy doesn't close it first)"	defect	closed	normal		Git mirror		fixed