Hacktoberfest 2026:メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

[CI bug] If the built docs branch was not deleted, the build job fails but goes green

オープン
#495 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
3/5
見積もり時間
1〜2日
初心者へのやさしさ
38/100
issue の種類
バグ
明瞭さ
おおむね明確
活発さ
停滞
技術スタック
git, github
領域
ci-cd

調査の方向性

BuildDocs Jenkins ジョブとパイプラインのステップ 27 から始め、リンクされた実行とその拒否された push の出力を再現手順として使用します。docs-2-29 ブランチがすでに存在する状態でジョブを再実行します。ジョブが non-fast-forward 状態を、成功扱いになるのではなく、説明的なエラーを伴う失敗として報告すれば完了です。

索引モデルが issue の本文から書いたものです。

説明

Summary:

When building docs we create a branch in the form docs-2-29 to create a pull request. If that branch is not deleted and the job is run again, the job will fail in the sense that the created PR will consist of the change in the existing branch and the job would go green.

See https://jenkins.mc-stan.org/blue/organizations/jenkins/BuildDocs/detail/BuildDocs/96/pipeline/8

We can see the following

[](https://jenkins.mc-stan.org/blue/organizations/jenkins/BuildDocs/detail/BuildDocs/96/pipeline/8#step-27-log-21)[](https://jenkins.mc-stan.org/blue/organizations/jenkins/BuildDocs/detail/BuildDocs/96/pipeline/8#step-27-log-22)[](https://jenkins.mc-stan.org/blue/organizations/jenkins/BuildDocs/detail/BuildDocs/96/pipeline/8#step-27-log-23)[](https://jenkins.mc-stan.org/blue/organizations/jenkins/BuildDocs/detail/BuildDocs/96/pipeline/8#step-27-log-24)To https://****:****@github.com/stan-dev/docs.git
 ! [rejected]        docs-2-29 -> docs-2-29 (non-fast-forward)
error: failed to push some refs to 'https://****:****@github.com/stan-dev/docs.git'
hint: Updates were rejected because the tip of your current branch is behind
hint: its remote counterpart. Integrate the remote changes (e.g.

This job should probably fail witha descriptive error message.

主要言語
TeX
スター
43
フォーク
133
平均マージ
11時間 32分
マージ済み PR(30日)
4

環境構築

  • Dockerfile・Docker Compose ファイルなし
  • プルリクエストのテンプレートあり
  • コントリビューションガイドなし

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

stan-dev/docs のほかの issue

stan-dev/docs の issue をすべて見る

似ている issue

DevOps の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。