Closed mschuman1 closed 1 year ago
I logged out and in of Github. Seems I still need to make a pull request for the edits to be merged.
Seems I can close.
And it seems I needed to accept the invite... :D I could have also merged just now.
I logged out and in of Github. Seems I still need to make a pull request for the edits to be merged.