This question is a bit of a nuisance, I admit.
I definitely made some commits for the header of a function for Issue 1011. I was going to use this as a reference for something else.
This branch and all commits are missing from my branch of math. I didn’t delete the branch, and the commit history shouldn’t be missing.
Here’s proof: my github profile says I have 1 commit for July 1st, and when we click 1 commit, it says there’s no commits.
Where’d it go?