releng

#9573 Please help delete 'devel' branch of rpms / kexec-tools
Closed: Fixed by pingou. Opened by kasong.

Closed: Fixed
Reopen Issue

  • Describe the issue
    The 'devel' branch of kexec-tools is created by accident and not needed.

  • When do you need this? (YYYY/MM/DD)
    asap

  • When is this no longer needed or useful? (YYYY/MM/DD)
    It would be always useful.

  • If we cannot complete your request, what is the impact?
    No impact, just this branch is not maintained or used and may lead to misunderstand.

Metadata Update from @mohanboddu:
- Issue tagged with: groomed, low-gain, medium-trouble

Metadata Update from @pingou:
- Issue assigned to pingou

Running the check script:

$ python ~/repos/gitrepo/releng/scripts/distgit-branch-unused.py devel --repository .
Checking package kexec-tools in .../kexec-tools
Branch devel not found in bodhi, checking if branch matches pattern...
...no match, seems OK to remove
Branch has commits not found anywhere else. Looking for builds.
Warning: build kexec-tools-1.101-51.fc6 from 2007-04-05 13:18:44.317273+00:00 has no source, ignoring.
Warning: build kexec-tools-1.101-69.fc7 from 2007-04-12 06:45:48.881021+00:00 has no source, ignoring.
0: 2a79f12 Add vm based tests
1: f28bd6e Fix config reasding problem
2: 3e95a4e mkdumprd: remove a duplicated line
3: 4c12c99 mkdumprd: Fix a copy/paste leftover
4: 070d362 Release 2.0.20-14
Commit 070d362846acfdca5f7a8fd2573cc87cf8db7372 referenced from refs/heads/master. Stopping iteration.
No builds found, seems OK to delete.

Ran server side:

mv refs/heads/devel heads_devel

Checked locally:

$ git fetch -p
From ssh://pkgs.fedoraproject.org/rpms/kexec-tools
 - [deleted]         (none)     -> origin/devel

Looks all good :)

Metadata Update from @pingou:
- Issue close_status updated to: Fixed
- Issue status updated to: Closed (was: Open)
Metadata

groomed low-gain medium-trouble

None
None
None
Static archive. pagure.io was sunset in 2026; this is a read-only snapshot.
Red Hat Logo

Fedora is sponsored by Red Hat. Learn more about the relationship between Red Hat and Fedora »

© Red Hat, Inc. and others.