Richard Brooksby
Richard Brooksby
Fix and update the pull request merge procedure, #97 , contains work to ensure that Git and Perforce remain consistent while we're migrating. The pull request merge procedure (procedure/pull-request-merge.rst) can...
Git allows the destruction and rewriting of history, unlike Perforce. We want all history preserved as far as possible to support the investigation of bugs and the intentions of changes....
> I've written about this in #97 but this stuff should probably be promoted to a policy document (i.e. a design-of-process). This policy should be clear about the separation of...
About GitHub dependency. GitHub's issues, pull request, and other similar stuff are very useful and quick, but the data is not in the repository, and lives on GitHub. That means...
> We could us the GitHub API to copy these kinds of records ... We'd have to investigate whether other people have done something similar, how hard it would be...
Reviewing the GitHub docs, I note: 1. our licence isn't [detected as BSD 2-clause](https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/licensing-a-repository#determining-the-location-of-your-license) 2. I set the "Social preview" to the MPS logo from //info.ravenbrook.com/project/mps/art/2013-06-03/mps-logo/mps-logo-512-transparent.png , which illustrates #95...
> That means we can't _rely_ on GitHub's branch protection, merge buttons, etc. but of course we should make use of them for efficiency. In a discussion with @UNAA008 we...
The [MPS Manual](https://www.ravenbrook.com/project/mps/master/manual/html/) is currently built by automation hosted at Ravenbrook. This should be: 1. exposed in the Git repo 2. could be triggered by GitHub workflows 3. could publish...
The [current code for gitpushbot](https://info.ravenbrook.com/infosys/robots/gitpushbot/bin/pushes) assumes that there will be no changes in git, and so does not report conflicts. The script tries to avoid hammering the remote servers by...
I propose these milestones: 1. Reversing the polarity of the neutron flow. Instead of insisting that Perforce is the true master, and Git is a mirror, we make Git the...