Opened 8 years ago
Closed 8 years ago
#51873 closed enhancement (fixed)
tDOM: use github portgroup
| Reported by: | ryandesign (Ryan Carsten Schmidt) | Owned by: | gustafn |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 2.3.4 |
| Keywords: | haspatch | Cc: | kurthindenburg (Kurt Hindenburg) |
| Port: | tDOM |
Description
This patch makes the port the github portgroup, instead of specifying the download location manually. This insulates the port from possible future changes to the github infrastructure, since we can make adjustments to just the github portgroup to automatically fix all ports using it.
I can commit this change for you if you have no objections.
Attachments (1)
Change History (3)
Changed 8 years ago by ryandesign (Ryan Carsten Schmidt)
| Attachment: | tDOM-github.diff added |
|---|
comment:1 Changed 8 years ago by gustafn
comment:2 Changed 8 years ago by kurthindenburg (Kurt Hindenburg)
| Cc: | khindenburg@… added |
|---|---|
| Resolution: | → fixed |
| Status: | new → closed |
done r152464
Note: See
TracTickets for help on using
tickets.
No objection at all, when it works - perfect!