$ 0 0 Is there any way to undo discard changes in GitHub Desktop, after the Undo button has disappeared?I am talking about GitHub Desktop's undo feature, not git in general.