[ https://issues.jboss.org/browse/TEIID-5210?page=com.atlassian.jira.plugin... ] Steven Hawkins edited comment on TEIID-5210 at 1/16/18 1:17 PM: ---------------------------------------------------------------- I am not sure of the relationship, but the sync stopped with the pull request: https://github.com/teiid/teiid-documents/pull/128 I've forced a re-sync, but we'll need to monitor whether changes are picked up. It's clear that changes still are not being picked up. I'll open an issue with gitbook, but judging from the existing open issues and that our last issue was never looked at that will probably not be fruitful. was (Author: shawkins): I am not sure of the relationship, but the sync stopped with the pull request: https://github.com/teiid/teiid-documents/pull/128 I've force a re-sync, but we'll need to monitor whether changes are picked up. -- This message was sent by Atlassian JIRA (v7.5.0#75005)