Add PR pipeline list (#1641)

Instead of viewing PR pipelines in the branches lists, add a separate
list for them. The API endpoint for PRs supports pagination (thus I
added a lot of pagination-related stuff), the UI doesn't yet though.


![wp](https://user-images.githubusercontent.com/80460567/226099133-bb4935d6-c357-4d73-8465-9157e25c0d82.png)

Closes #1619 

Extends this part of #1640

---------

Co-authored-by: Anbraten <anton@ju60.de>

web/src/views/repo/RepoWrapper.vue

@@ -43,6 +43,11 @@
 
     <Tab id="activity" :title="$t('repo.activity')" />
     <Tab id="branches" :title="$t('repo.branches')" />
+    <Tab
+      v-if="config.forge === 'gitea' || config.forge === 'github' || config.forge === 'gitlab'"
+      id="pull_requests"
+      :title="$t('repo.pull_requests')"
+    />
 
     <router-view />
   </Scaffold>
@@ -89,6 +94,7 @@ const { isAuthenticated } = useAuthentication();
 const route = useRoute();
 const router = useRouter();
 const i18n = useI18n();
+const config = useConfig();
 
 const { forge } = useConfig();
 const repo = repoStore.getRepo(repoOwner, repoName);
@@ -139,11 +145,16 @@ const activeTab = computed({
     if (route.name === 'repo-branches' || route.name === 'repo-branch') {
       return 'branches';
     }
+    if (route.name === 'repo-pull-requests' || route.name === 'repo-pull-request') {
+      return 'pull_requests';
+    }
     return 'activity';
   },
   set(tab: string) {
     if (tab === 'branches') {
       router.push({ name: 'repo-branches' });
+    } else if (tab === 'pull_requests') {
+      router.push({ name: 'repo-pull-requests' });
     } else {
       router.push({ name: 'repo' });
     }