Contribution guide: unused github repository

Problem/Motivation

The page of the Form Mode Manager module states that Github is used for PR:

How to contribute
We use Github pull request workflow. Each pull request should have a related and cross-linked drupal.org issue.

https://github.com/woprrr/form_mode_manager

Check roadmap meta issue in order to see what current focus of development is.

Nevertheless the Github repository https://github.com/woprrr/form_mode_manager is not synced (and seems abandonned) with the Drupal one https://git.drupalcode.org/project/form_mode_manager.

For https://github.com/woprrr/form_mode_manager:

• Last commit for 8.x-1.x: fa02529cce0879483cc298bd92fe1aa29f1b07ff the Dec 8, 2017
• Last commit for 8.x-2.x: 33b702040032b5088c0f11b16daba87a5e1c26bb the Jan 9, 2018

For https://git.drupalcode.org/project/form_mode_manager:

• Last commit for 8.x-1.x: d29a5c1cfd60c3f4f9915f1b762cf02c015f75d4 the May 18, 2018
• Last commit for 8.x-2.x: 165dbad23ba154cd1cd9691728e2a65c17056cd8 the Dec 7, 2018

Proposed resolution

• Option 1) update the Github repository in order to still use it along with the CI configuration
• Option 2) update the page of the Form Mode Manager module to remove the Github repository and replace the Travis CI configuration with Drupal CI.

Remaining tasks

Take a decision.

User interface changes

None.

API changes

None.

Data model changes

None.

Release notes snippet

None.