rename pride flags followup #5

Merged
fox merged 1 commits from rename into main 2022-12-09 06:41:25 +00:00

In #4 @Rin suggested some naming changes. This implements that.

I flipped the naming of progress flags, since the original seems ore popular also.

I'm going to self merge. I meant to get this into the last PR, but reviewers were so fast!

In https://gitea.treehouse.systems/treehouse/emoji/pulls/4 @Rin suggested some naming changes. This implements that. I flipped the naming of progress flags, since the original seems ore popular also. I'm going to self merge. I meant to get this into the last PR, but reviewers were so fast!
fox added 1 commit 2022-12-09 06:40:45 +00:00
fox merged commit 5b629b6367 into main 2022-12-09 06:41:25 +00:00
fox deleted branch rename 2022-12-09 06:41:34 +00:00
Sign in to join this conversation.
There is no content yet.