search

eclipse-aspectj / eclipse.jdt.core

Aspectj JDT Core
Eclipse Public License 2.0
17 stars 6 forks source link

Migrate from GitHub Packages to aspectj.dev #10

Closed kriegaex closed 3 years ago

kriegaex commented 3 years ago

Deploy to AspectJ.dev instead of to GitHub Packages.

Also deactivate deployment in GitHub workflow for now. *TODO: Settle issue with ISP concerning direct HTTP write access to WebDAV on aspects.dev without mounting share first, then migrate deployment action. I would like to avoid adding a platform-specific mount command to the workflow.

@aclement, maybe you want to merge #9 first, then I can rebase this one on the merged commit and you can cleanly fast-forward it.

aclement commented 3 years ago

This is not showing any issues so merging directly seems ok to me?