#44 Dead pull requests #32 and #33

Chiuso
aperto 3 anni fa da PeterNSteinmetz · 2 commenti

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 ha commentato 3 anni fa
Proprietario

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 ha commentato 3 anni fa
Collaboratori

Nothing to be done for now then. Closing.

Nothing to be done for now then. Closing.
Sign in to join this conversation.
Nessuna etichetta
Nessuna milestone
Nessun assegnatario
2 Partecipanti
Caricamento...
Annulla
Salva
Non ci sono ancora contenuti.