[bug-inetutils] Re: Git migration is complete.

[Simon Josefsson]

What do you think about enabling Jim's server-side hook to prevent
pushing of merge commits to the git repository?

/Simon