#44 Dead pull requests #32 and #33

クローズ
3 年 前PeterNSteinmetz によって開かれました · 2 コメント
Peter N. Steinmetz3 年 前 にコメントしました

Both PRs #32 and #33 are generating a 500 error but are still on the pull requests page. I assume these were deleted from the history durin the history reset. Perhaps they can be removed from the database here?

Both PRs #32 and #33 are generating a 500 error but are still on the pull requests page. I assume these were deleted from the history durin the history reset. Perhaps they can be removed from the database here?
sprenger3 年 前 にコメントしました
オーナー

Hi @PeterNSteinmetz, unfortunately I don't see a way on how we can solve this as it is an server internal issue. I raised an issue with the gin developers already, see G-Node/Info#47

Hi @PeterNSteinmetz, unfortunately I don't see a way on how we can solve this as it is an server internal issue. I raised an issue with the gin developers already, see https://gin.g-node.org/G-Node/Info/issues/47
PeterNSteinmetz 3 年 前 に閉じられました
Peter N. Steinmetz3 年 前 にコメントしました
共同編集者

Nothing to be done for now then. Closing.

Nothing to be done for now then. Closing.
会話に参加するには サインイン してください。
ラベルなし
マイルストーンなし
担当者なし
2 参加者
読み込み中…
キャンセル
保存
まだコンテンツがありません