はじめに GitLab には GitLab CI という機能があり、git push のような更新のタイミングで CI を実行できます。 デフォルトでは、マージリクエストの画面で CI の成功/失敗に関わらず Merge ボタンが押せます。 柔軟といえば柔軟ですが、厳密にしたい場合は…

はじめに GitLab には、Web ブラウザ上でファイルの修正などができる WebIDE という機能があります。 先日、WebIDE を開くためのボタンを押してもガワだけ表示されて、中身が表示されないような現象で出くわしました。 この記事では、現象と対処を簡単にまと…