Visitar URL original
Should ptags and eptags be removed from repo? · Issue #68686 · python/cpython · GitHub
Skip to content

Should ptags and eptags be removed from repo? #68686

Description

@bitdancer
BPO 24498
Nosy @bitdancer, @ZackerySpytz
PRs
  • bpo-24498: Remove ptags.py and eptags.py from Tools/scripts #24869
  • Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.

    Show more details

    GitHub fields:

    assignee = None
    closed_at = None
    created_at = <Date 2015-06-24.14:26:30.333>
    labels = ['type-feature']
    title = 'Should ptags and eptags be removed from repo?'
    updated_at = <Date 2021-03-15.08:29:16.658>
    user = 'https://github.com/bitdancer'

    bugs.python.org fields:

    activity = <Date 2021-03-15.08:29:16.658>
    actor = 'ZackerySpytz'
    assignee = 'none'
    closed = False
    closed_date = None
    closer = None
    components = ['Demos and Tools']
    creation = <Date 2015-06-24.14:26:30.333>
    creator = 'r.david.murray'
    dependencies = []
    files = []
    hgrepos = []
    issue_num = 24498
    keywords = ['patch']
    message_count = 1.0
    messages = ['245744']
    nosy_count = 2.0
    nosy_names = ['r.david.murray', 'ZackerySpytz']
    pr_nums = ['24869']
    priority = 'normal'
    resolution = None
    stage = 'patch review'
    status = 'open'
    superseder = None
    type = 'enhancement'
    url = 'https://bugs.python.org/issue24498'
    versions = ['Python 3.6']

    Activity

    1. bitdancer commented on Jun 24, 2015

      @bitdancer
      MemberAuthor

      ctags directly supports python. Is there any reason to keep the ptags and eptags scripts in Tools/scripts?

    2. changed the title [-]Shoudl ptags and eptags be removed from repo?[/-] [+]Should ptags and eptags be removed from repo?[/+] on Jun 26, 2015
    3. transferred this issue fromon Apr 10, 2022
    4. added a commit that references this issue on Oct 8, 2022
    5. added a commit that references this issue on Oct 11, 2022
    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

      type-featureA feature request or enhancement

      Projects

      No projects

        Milestone

        No milestone

        Relationships

        None yet

        Development

        No branches or pull requests

        Issue actions