Ich würde einfach "was rejected by community-discussion (link zum ML-Archiv)" in's github-issue schreiben. und dann auf "comment and Close" klicken Am 08.10.2017 um 02:13 schrieb Holger: > Wie dokumentiere ich unsere Überlegungen und ziehe den issue zurück?