[Special, several things] Migration of Gnome-Terminal
Gnome Terminal should be migrated including the bugs.
The maintainers want to keep a complete record of bug reports; therefore all bugs should be migrated, including the closed ones.
Bugs to migrate:
- All bugs from the 'gnome-core' bugzilla product, 'gnome-terminal' component (all closed) to be tagged with a 'gnome1' label (if possible). (965 bugs; these are older, so should receive lower numbered issues.)
- All bugs from the 'gnome-terminal' bugzilla product.
Note: some bug reports in gnome-terminal contain deleted comments (e.g. https://bugzilla.gnome.org/show_bug.cgi?id=740188 comment 1, 23, 28..29). The migrated bug report must not contain the deleted comments, but it must contain in the missing comments' place an indication that a comment was deleted, so as to maintain an accurate and honest record of the interactions on the bug report.
Note: there is one restricted bug report (https://bugzilla.gnome.org/show_bug.cgi?id=730817) to be migrated, receiving the corresponding protection on the gitlab issue.
Also I have noticed that in other comments, the migrated bug have lost their formatting, making e.g. inline patch reviews unreadable. Comments should therefore be migrated as preformatted ("pre").