How to rename my github repo to not loose the installs stats in skills.sh

I have one respository with relative traction:

I am thinking to rename from GitHub - jabrena/cursor-rules-java: An opinionated, AI-native development workflow for Java Enterprise — reusable Skills, Agents, Commands, and MCP servers combined with a human-in-the-loop model to modernize real-world SDLC practices. · GitHub to https://github.com/jabrena/pillars/ but I am afraid to loose the install stats and the current ranks in the search.

In Github side, rename a github repository is easy changing GitHub - jabrena/cursor-rules-java: An opinionated, AI-native development workflow for Java Enterprise — reusable Skills, Agents, Commands, and MCP servers combined with a human-in-the-loop model to modernize real-world SDLC practices. · GitHub to https://github.com/jabrena/pillars/ is trivial, just change the name in https://github.com/jabrena/cursor-rules-java/settings and if someone use the old repository, it will be redirected to the new name: https://github.com/jabrena/pillars/ but what happen if I change the name, what happen when I reach: jabrena — Agent skills , it will appear 2 repositories?

  • cursor-rules-java 12k installs
  • pillars 0k installs

How to mitigate this duplication and not compete the skills from the old repo with the new repo?

Many thanks in advance

Juan Antonio

Hi Juan Antonio,

I would be careful here, because there are two separate systems involved.

On GitHub, renaming the repository should redirect the old repo URL to the new one, as long as you do not later create a new repository with the old name. So jabrena/cursor-rules-java should redirect to jabrena/pillars after the rename.

The part I would not assume is whether skills.sh merges stats based on GitHub’s redirect or whether it keys the listing by the original owner/repo string. If it keys by repo path, then a rename could appear as a new listing until the index catches up, or it could split/lose visible stats.

To reduce the risk, I’d do this in a staged way:

1. Do not create a new repo named jabrena/pillars separately.
2. Rename the existing GitHub repo in place.
3. Keep the old repo name unused so GitHub redirects continue working.
4. Check skills.sh after its next index/update cycle.
5. If skills.sh creates a duplicate listing, report it as a registry/indexing issue rather than continuing to rename back and forth.

I’d also update any install/readme examples to the new repo URL only after confirming how skills.sh displays it.

GitHub’s rename behavior is documented here:

Your idea, it is reasonable :slight_smile:

4. Check skills.sh after its next index/update cycle.
5. If skills.sh creates a duplicate listing, report it as a registry/indexing issue rather than continuing to rename back and forth.

I will do it this week and If I see issues, I will create a ticket like others about reindexing:

How long to run the reindexing process?

Juan Antonio

Hi Juan Antonio,

I would not give a fixed number of hours unless someone from the skills.sh team confirms the current indexing cadence.

The important distinction is that this may not be just a normal reindex. If the rename creates two visible entries, the issue is probably a canonical repo/stat merge problem:

jabrena/cursor-rules-java  -> old indexed repo with install stats
jabrena/pillars            -> new GitHub path after rename

So after renaming, I’d wait for the next refresh, but I would not rename back and forth or create a new repo with the old name.

If it still looks wrong after that, I’d open the vercel-labs/skills issue with a very specific request:

Repo was renamed in-place on GitHub:
old: jabrena/cursor-rules-java
new: jabrena/pillars

Please reindex the repository and, if needed, merge/canonicalize the old skills.sh listing so install stats and ranking do not split between the old and new repo paths.

That makes the ask clearer than only “please reindex,” because your main risk is duplicate listings or split stats, not only stale content.

Finally, the project was renamed. During this week, I will publish again the changes and I will create the issue as you say to reindex.

Juan Antonio

Hi @ryux1 ,

I have just created a ticket for it: Listing: Request indexing for jabrena/cursor-rules-java to jabrena/plintch · Issue #1559 · vercel-labs/skills · GitHub

Juan Antonio

Hi Juan Antonio,

Nice, that seems like the safest route.

Small thing I’d double-check before relying on the issue: make sure the old and new repo names are written exactly the same everywhere in the title/body. That avoids any confusion if someone from the skills repo needs to reindex or canonicalize it.

I’d also avoid reusing the old jabrena/cursor-rules-java repo name for now, so GitHub’s redirect keeps pointing to the renamed repo while skills.sh catches up.

I’m not sure what the indexing cadence is on their side, so opening the issue with the old repo, new repo, and the exact skills.sh page is probably the best way to get it handled cleanly.

No, I renamed the repository jabrena/cursor-rules-java to jabrena/plinth