[GitHub] thrift issue #1206: THRIFT-4029 Accelerated protocols do not build from thri...

[jeking3 <gi...@git.apache.org>]

Github user jeking3 commented on the issue:

    https://github.com/apache/thrift/pull/1206
  
    If the build fails try using this technique to kick another if you think it was environmental:
    
    git commit --amend
      don't change anything, just save.  This makes a new identical commit with a new hash.
    git push -u origin <branch name> --force
      overwrites the previous push and kicks another build
    
    Thanks.


---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastructure@apache.org or file a JIRA ticket
with INFRA.
---