Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

poppler: switch source to freedesktop's gitlab #1177

Merged
merged 1 commit into from May 2, 2023

Conversation

7Ji
Copy link
Collaborator

@7Ji 7Ji commented Apr 29, 2023

freedesktop.org has set all of its github repos to non-public after migrating its development activity to its own gitlab

this commits updates the source to use the one available on their gitlab site, while also fixed up some formatting. the source is also switched to archive for saner re-builds

fixes the following build issue:

builder@rz5 ~/EmuELEC (dev)> ./scripts/get poppler
ProxyChains-3.1 (http://proxychains.sf.net)
GET      poppler (git)
    DELETE      (/home/builder/EmuELEC/sources/poppler/poppler-*/)
    GIT CLONE      poppler
Cloning into '/home/builder/EmuELEC/sources/poppler/poppler-32fa2888eaaaaf80e5d2338cb8cb8b773ccfd4d3'...
Username for 'https://github.com':

(the prompt for username appears when there's no requested repo)

freedesktop.org has set all of its github repos to non-public after
migrating its development activity to its own gitlab

this commits updates the source to use the one available on their
gitlab site, while also fixed up some formatting. the source is
also switched to archive for saner re-builds

fixes the following build issue:

```
builder@rz5 ~/EmuELEC (dev)> ./scripts/get poppler
ProxyChains-3.1 (http://proxychains.sf.net)
GET      poppler (git)
    DELETE      (/home/builder/EmuELEC/sources/poppler/poppler-*/)
    GIT CLONE      poppler
Cloning into '/home/builder/EmuELEC/sources/poppler/poppler-32fa2888eaaaaf80e5d2338cb8cb8b773ccfd4d3'...
Username for 'https://github.com':
```

(the prompt for username appears when there's no requested repo)
@shantigilbert shantigilbert merged commit dfb1f07 into EmuELEC:dev May 2, 2023
@7Ji 7Ji deleted the poppler-fix branch May 2, 2023 08:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants