Skip to content

General issue is the same as Github's built-in blank issue? #539

Closed
#616
Closed
General issue is the same as Github's built-in blank issue?#539
#616
Milestone
Default Docs

Description

@hombit
hombit
opened on Oct 2, 2025

PPT provides three GitHub issue templates, but GitHub itself adds "Blank issue" to that list, which is basically the same as our "General issue." Should we remove "General issue" so the issue reporter is not confused?

Image

Activity

  1. drewoldag commented on Oct 2, 2025

    @drewoldag
    drewoldag
    on Oct 2, 2025
    Collaborator

    Sounds good to me

  2. delucchi-cmu
    added this to the Default Docs milestone on Dec 22, 2025
  3. jeremykubica
    closed this as completedin #616on Oct 14, 2026
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

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions