Closed ThanGerlek closed 1 month ago
It's unclear why this PR was rejected @leesjensen. Issue #62 is still open.
Would you like us to re-propose these changes, but differently, or should we close #62 as an issue not worth addressing?
Investigating
I don't remember closing this. But it appears that GitHub wants to automatically close it as soon as I reopen it.
@leesjensen Maybe it's because the source branch has been deleted. I see that GitHub is treating the merge branch as ThanGerlek:main
which may not correspond to the particular commits anymore.
@ThanGerlek Do these commits still exist? Can we re-propose the commits in a new PR?
Duplicate of #25
I've created PR 25 to replace this one. The original repo was a fork of a different repository (I don't remember exactly why I did it that way), and I figured making a proper fork was better than messing about with remotes.
Resolves: