Community
Participate
Working Groups
This would be an equivalent of doing "git reset --hard origin/master"
Szymon has just shown me a demo of how the action works. Looks good.
Fixed with fcabb3a6d734918bcc486bb3ba6007c60760cf74 and d91a166b6cdc6088d5652d373879c60a94e43ff9.