[Savannah-help-public] [sr #106243] dejagnu git commits to address@hidden, please?

[Sylvain Beucler]

Follow-up Comment #3, sr #106243 (project administration):

Hi,

As you probably noticed quickly after, the notification hook cannot
invalidate your commit, so pushing still works :)

Looking at the hook code, and I can't see how this happened - the error
message you got is followed by "exit 0", not "exit 1", so this is kinda
strange. Can you tell me what commands you were running?


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/support/?106243>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/