#44 Dead pull requests #32 and #33

Закрыто
3 лет назад открыта PeterNSteinmetz · комментариев: 2
Peter N. Steinmetz прокомментировал 3 лет назад

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 прокомментировал 3 лет назад
Владелец

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 прокомментировал 3 лет назад
Соавтор

Nothing to be done for now then. Closing.

Nothing to be done for now then. Closing.
Войдите, чтобы присоединиться к обсуждению.
Нет меток
Нет этапа
Нет ответственного
2 участников
Загрузка...
Отмена
Сохранить
Пока нет содержимого.