Add branch `ci/*` or `kernelci` from https://github.com/compudj/linux-dev

[kienanstewart]

Please provide the information described below in order to add a new branch to kernelci.org:

• Which Git branch do you want to add?

⇨ Git repo URL: https://github.com/compudj/linux-dev

⇨ Git branch name: pattern ci/*, or if that's not possible: kernelci

• How much build coverage do you need for your branch?

3. Build only the main defconfig for each architecture to save a lot of build power, get the fastest results and highest boots/builds ratio. This is what do with some maintainer branches such as linusw' GPIO branch.

⇨ Build coverage choice: 3 (defconfig for each arch)

• How often do you expect this branch to be updated?

⇨ Estimated frequency: A few times each week

• Who should the email reports be sent to?

⇨ Recipients: mathieu.desnoyers@efficios.com

[nuclearcat]

Hello, during staging verification our tools reported that kernelci branch doesn't exist.