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"	defect	new	normal		Core