Currently, resources can only be deleted from the Manage Resources page by clicking on the ··· (three-dot menu) and Delete.
It would be helpful to allow deletion of a resource from its resource settings page.
Originally created by @bannert1337 on GitHub (Mar 21, 2025).
Original GitHub issue: https://github.com/fosrl/pangolin/issues/377
Currently, resources can only be deleted from the `Manage Resources` page by clicking on the `···` (three-dot menu) and `Delete`.
It would be helpful to allow deletion of a resource from its resource settings page.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Originally created by @bannert1337 on GitHub (Mar 21, 2025).
Original GitHub issue: https://github.com/fosrl/pangolin/issues/377
Currently, resources can only be deleted from the
Manage Resourcespage by clicking on the···(three-dot menu) andDelete.It would be helpful to allow deletion of a resource from its resource settings page.