Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Register
Sign in
Toggle navigation
Menu
nexedi
erp5
Merge requests
!1812
The source project of this merge request has been removed.
erp5_forge: Display failure to push as error
Merged
Rafael Monnerat
requested to merge
(removed):fixup-git-push-notification
into
master
Aug 11, 2023
Overview
3
Pipelines
0
Changes
1
Redirect with error level, to display the notification properly displayed as error