#44 Dead pull requests #32 and #33

Zamknięty
otworzone 3 lat temu przez PeterNSteinmetz · 2 komentarzy

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 skomentował 3 lat temu
Właściciel

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 skomentował 3 lat temu
Współpracownik

Nothing to be done for now then. Closing.

Nothing to be done for now then. Closing.
Zaloguj się, aby dołączyć do tej rozmowy.
Brak etykiety
Brak kamienia milowego
Brak przypisania
2 uczestników
Ładowanie...
Anuluj
Zapisz
Nie ma jeszcze treści.