Changes

manuals: ignore osmo-s1gw 0.4.1

Change-Id: Id5bddb61c7ae711242060d31a806bc44fee46e5d

contrib/obs-mirror: log to systemd journal

Instead of having a lot of logfiles in /home/pkgmirror and starting the
obs-mirror scripts via cronjob, add systemd services and timers and let
them log to the systemd journal.

Change-Id: I3a567770ef6d98bb3fdc2d52214cacbfe59640ad

Revert "OBS: sync_obs_projects: remove AlmaLinux:8"

This reverts commit 618140a22e41cba21ac2cfac51a84c7514041657.

Related: SYS#8110
Change-Id: Idbaeed2af6441b15f11ca7cf1b7563a99586ed85

OBS: build_binpkg: adjust for new almalinux repo

We are enabling CentOS 8 compatible repositories again for very few
packages. The URL for the package feed is now AlmaLinux_8 instead of
CentOS_8, because AlmaLinux 8 is not EOL yet and seems to work best with
OBS of the CentOS 8 compatible distros.

Related: SYS#8110
Change-Id: I3e9f44f200cdbe28fa4cd21f54b81d73fa543075

jobs/gerrit: build osmo-pcap + deps for almalinux8

Related: SYS#8110
Change-Id: I8ba119b77f7bb04b0899af8c09ac35782625425a

contrib/obs-mirror: add AlmaLinux_8

Related: SYS#8110
Change-Id: I8ebf9d613e9ce8ee0982dd68646f248148ac6226

lint: ignore LINUX_VERSION_CODE

When running the linter against dahdi-linux.git or potentially other
repositories with out-of-tree linux kernel modules, it should not
complain about the LINUX_VERSION_CODE being used there:

> drivers/dahdi/dahdi-base.c:6397: WARNING:LINUX_VERSION_CODE:
> LINUX_VERSION_CODE should be avoided, code should be for the version to
> which it is merged

Change-Id: I82d64d43c04561b1643785cb71cfee92e513e560

jobs/{master,gerrit}: eim,ipa: wipe-workspace

Set wipe-workspace for the onomondo-eim and onomondo-ipa jobs to true,
so previous failures cannot influence new jenkins job runs. E.g.
currently we had gerrit-onomondo-ipa-build failing with:

  + mkdir build
  mkdir: cannot create directory 'build': File exists

Most existing jobs call scripts/osmo-clean-workspace.sh from osmo-ci.git
at the beginning of their jenkins.sh instead of using wipe-workspace.
But this doesn't have any advantage here while making jenkins.sh more
complex. Let's use the built-in feature from jenkins here.

Change-Id: If4ef5ab804b05ad630cfa770741fe6053fdfb637