Remove unnecessary repo name

Removing the repo name allows to run the pipeline in a repo with another name than the original. This prevents to change or remove 'antora/antora-ui-default' as it is now name agnostic, e.g., when someone forks the repo and runs the pipeline. Without this change those jobs with 'antora/antora-ui-default' would not be included/excluded correctly.
5 jobs for master in 4 minutes and 34 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Setup
passed #806191027
install

00:01:05

 
  Verify
passed #806191028
lint

00:01:10

 
  Deploy
passed #806191030
bundle-stable

00:01:20

passed #806191032
pages

00:02:16

passed pages:deploy

00:00:00