3 ms·However the pull request comments, issues, etc are not versioned in the Git repo, so those could be lost.by foreigner 11y agoHowever the pull request comments, issues, etc are not versioned in the Git repo, so those could be lost.