Skip to content

[meta] Issue migration (from old repo) wasn't 100% successful. #581

Description

@eddyb

I was looking for this issue recently and couldn't find the migrated counterpart of it:

The bot did leave a message but it says:

This issue is now being tracked at: https://github.com/Rust-GPU/rust-gpu/issues/

How many of these did we drop? (I'm not even sure I've seen the migration procedure)

cc @LegNeato

Activity

  1. added theissue type on Apr 17, 2026
  2. LegNeato commented on Apr 17, 2026

    @LegNeato
    Collaborator

    @tombh wrote the migration script (thanks!)

    Embark making a stupid decision keeps biting us years later 👎

  3. tombh commented on Apr 17, 2026

    @tombh
    Contributor

    This issue is now being tracked at: https://github.com/Rust-GPU/rust-gpu/issues/

    That should have had a number at the end, so I would assume that issue didn't get migrated.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions