How to Git push a 'commit by another user'
<p>Problem: In a certain directory, Git push is restricted to very few users(User1). Other users(User2) cannot push their changes here. </p>

<p>Is there a way so that - the User2 commits the changes(git add + Git commit) in that dir,  then he provides the commit number to User1 and the latter does the Git push?</p>

<p>Can it be done?</p>