Closed Bug 1466644 Opened 6 years ago Closed 6 years ago

please start indexing https://dxr.mozilla.org/build-central/source/puppet from https://github.com/mozilla-releng/build-puppet

Categories

(Webtools Graveyard :: DXR, enhancement)

Product:
Webtools Graveyard
Component:
DXR
Type:
enhancement
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED FIXED

People

(Reporter: bhearsum, Unassigned)

References

Details

We recently moved from hg -> Github, and dxr needs to change where it's looking to start indexing the new pushes.

Thanks!
fubar, could you have a look at this, or let me know where to patch ?
Flags: needinfo?(klibby)
We changed the github org too, so the request is now:

Old repo: https://hg.mozilla.org/build/puppet/
New repo: https://github.com/mozilla-releng/build-puppet
Summary: please start indexing https://dxr.mozilla.org/build-central/source/puppet from https://github.com/mozilla/build-puppet → please start indexing https://dxr.mozilla.org/build-central/source/puppet from https://github.com/mozilla-releng/build-puppet
Updated, indexing run kicked off.
Status: NEW → RESOLVED
Closed: 6 years ago
Flags: needinfo?(klibby)
Resolution: --- → FIXED
Looks good, thanks!
Product: Webtools → Webtools Graveyard
You need to log in before you can comment on or make changes to this bug.