When to lint/build pages/etc
I just came across a restriction in the .gitlab-ci.yml for linting, which says that linting should only be done for merge requests to dev:
https://gitlab.gwdg.de/loosolab/software/loosolab_sc_rna_framework/-/blame/dev/.gitlab-ci.yml#L50-51
I just had a case where my merge request was to atac_dev
instead of dev
, so there were no jobs to find --> failure to "pass" the merge --> no way to merge. I removed this in the specific branch https://gitlab.gwdg.de/loosolab/software/loosolab_sc_rna_framework/-/merge_requests/97 in order for it to work.
I think we should agree on a way to do it - any comments? My opinion is that we should always lint, independent of target branch.