Re: github mirror not sync'ing

On 03/08/18 09:13, Andy Seaborne wrote: The github mirror isn't being sync'ed from the ASF repo. It stopped in the last day or two. INFRA ticket raised: https://issues.apache.org/jira/browse/INFRA-16871     Andy Resolved. And it is now possible for committers to trigger this via:

[jira] [Commented] (JENA-1581) BufferOverflowException in TDB1

[ https://issues.apache.org/jira/browse/JENA-1581?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16568644#comment-16568644 ] ASF GitHub Bot commented on JENA-1581: -- Github user asfgit closed the pull request at:

[GitHub] jena pull request #453: JENA-1581: TDB1 Node Buffer Mgt.

Github user asfgit closed the pull request at: https://github.com/apache/jena/pull/453 ---

[jira] [Commented] (JENA-1583) BigDecimal literal created but not handled by Utils

[ https://issues.apache.org/jira/browse/JENA-1583?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16568360#comment-16568360 ] ASF GitHub Bot commented on JENA-1583: -- GitHub user afs opened a pull request:

[GitHub] jena pull request #454: JENA-1583: Rule system: Util.compare

GitHub user afs opened a pull request: https://github.com/apache/jena/pull/454 JENA-1583: Rule system: Util.compare You can merge this pull request into a Git repository by running: $ git pull https://github.com/afs/jena rule-util Alternatively you can review and apply

github mirror not sync'ing

The github mirror isn't being sync'ed from the ASF repo. It stopped in the last day or two. INFRA ticket raised: https://issues.apache.org/jira/browse/INFRA-16871 Andy