#44 Dead pull requests #32 and #33

Ditutup
dibuka 3 tahun lalu oleh PeterNSteinmetz · 2 komentar

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?
sprenger komentar 3 tahun lalu
Pemilik

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
Peter N. Steinmetz komentar 3 tahun lalu
Kolaborator

Nothing to be done for now then. Closing.

Nothing to be done for now then. Closing.
Masuk untuk bergabung dalam percakapan ini.
Tidak ada Label
Tidak ada tonggak
Tidak ada penerima
2 Peserta
Memuat...
Batal
Simpan
Belum ada konten.