- Owner name(s): Jacobo Aragunde Pérez
- Project maintainers: additionally Lorenzo Tilve
- Project name: html5-launcher
- Short project description: HTML application for listing and launching runnable applications.
- Repo name: html5-launcher
The application already exists and its repository is hosted at: https://github.com/jaragunde/agl-html5-launcher
What should we do? Shall we push the existing repo history directly, or squash it to one commit to be reviewed via gerrit?