Use gitlab CI to:
Run scheduled mirroring to gitlab.
Build packages from pull requested recipes and add them to a new "pre_devel" channel.
Build packages in devel and add them to the devel channel.
Also remove broken valet recipe that was causing the build to fail.
Use gitlab CI to: Run scheduled mirroring to gitlab. Build packages from pull requested recipes and add them to a new "pre_devel" channel. Build packages in devel and add them to the devel channel. Also remove broken valet recipe that was causing the build to fail.