[GitHub] [incubator-age] davidfetter opened a new issue #20: OIDs

2021-02-10 Thread GitBox
davidfetter opened a new issue #20: URL: https://github.com/apache/incubator-age/issues/20 These are on their way out in PostgreSQL. Is there something compelling about their use in AGE, and if so, what? This is an automated

Re: Incubator-AGE code repository in Github was replaced

2021-02-10 Thread Josh Innis
Hi All, We have resolved the issue. A committer was attempting to push code to the wrong repository and used the force option when running git push. We managed to restore the repository, with one commit lost. The commit updated the copyright date in the licenses and we will create a new commit. Al