You are viewing a plain text version of this content. The canonical link for it is here.
Posted to jdo-dev@db.apache.org by GitBox <gi...@apache.org> on 2021/01/15 13:17:35 UTC
[GitHub] [db-jdo-site] tobous opened a new pull request #15: Cleanup after site branch migration
tobous opened a new pull request #15:
URL: https://github.com/apache/db-jdo-site/pull/15
Does some minor cleanup after migrating the site build to be published to a separate branch. Removes the copying step from the Maven `install` phase. Deletes the `docs/` directory and `content` symlink as they are no longer necessary.
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [db-jdo-site] tobous merged pull request #15: Cleanup after site branch migration
Posted by GitBox <gi...@apache.org>.
tobous merged pull request #15:
URL: https://github.com/apache/db-jdo-site/pull/15
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [db-jdo-site] tobous merged pull request #15: Cleanup after site branch migration
Posted by GitBox <gi...@apache.org>.
tobous merged pull request #15:
URL: https://github.com/apache/db-jdo-site/pull/15
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org