A good video editor on Android is hard to come by. Most Google Play Store video editors are ad-infested, add watermarks, have terrible UI, work poorly or are sketchy clones of each other with fake reviews.

InShot is one of the best I tried but Google Photos is a simple alternative you probably already have installed:

  1. In Google Photos, select videos you'd like to edit
  2. Click + button and create a Movie
  3. Click ♪ button to remove / change the music
  4. Use scrub bars below to trim the videos
  5. Click Save when you're done

This produces a Movie which you can download (mine was Full HD) - might have to wait a bit while Google generates the file on the server.

There are a few issues with this approach:

  1. Without music, there's a 0.5 sec silence between the videos
  2. Limited editing controls, no effects, stickers, etc - if you're into that
  3. Output resolution / compression is not adjustable