Migrating REP PRs from ros-infrastructure/rep

[SuperJappie08]

In the old REP repo (ros-infrastructure/rep) were still a few REPs in the process of being finalized.

Such as ros-infrastructure/rep#360.

Will these be migrated to this repository?

[SuperJappie08]

@tfoote @gbiggs
Is there a proper migration procedure for such migrations?
Or would these REPs need to be rewritten with the new procedure?

[gbiggs]

They will not be migrated through any special procedure. Each will need to go through the new process. I expect that there will not be much rewriting, just re-formatting.