Github user oflebbe commented on the issue:

    https://github.com/apache/bigtop/pull/266
  
    You can do
    
    ```
    git reset HEAD~1
    git add filesyouwant to add
    git commit 
    git push -f 
    ```
    
    This would redo your last commit
    
    
    



---

Reply via email to