[WARNING] The GitHub org may be renamed soon

Beman Project Development
1

Hello! Discussing with Jeff and David yesterday, I got an action name to sync our org name on all platforms to be bemanproject (no dash, as per our presentation website).

TLDR: I will just remove the dash from git org "beman-project " → “bemanproject”.

Notes:

Does anybody have anything against this action? (I will fix whatever is broken or is not using the new URL)

3 Likes
2

may I ask why? beman-project seem to be a lot more readable on first glance.

Edit: is it because everything is bemanproject?

1 Like
3

Consistency.

Rename git or rename others

We may also decide not do renaming, we can discuss in this thread.

4

I see! I personally think beman-project is more readable.

But I agree we need to update this for consistency, and right now is the best time to do this.

1 Like
5

Changing domain names is far more disruptive, while GitHub projects will redirect, so I’m fine with the consistency argument winning.

1 Like
6

Another part of the conversation here is was that 1) we have stickers distributed everywhere so we need to leave the current domain no matter what – so all we could do is add the domain with the dash, and 2) it’s also more natural to have the url be one long string without having to remember the dash is in there. I’d never think to type a dash in the url.

Jeff

7

@Jeff-Garland , as a Cezar style, what would be your decision?

I would just simply remove the dash from GitHub :smiley:

1 Like
8

Lol I’m not the czar of everything, but let’s go ahead with this so it’s cleaned up before tonight.

9

Rename beman-project GitHub org to bemanproject · Issue #65 · bemanproject/beman · GitHub - Done. The org was renamed, and all existing repos were updated to propagate new links. No more old names found: Code search results · GitHub.

Reminder: redirecting for repos URLs should still work. Renaming an organization - GitHub Docs.

1 Like