The CoViD-19 global pandemic has thrust modelling and analysis into the public eye in a way rarely seen before. One particular example is the CoViD model developed by MRC-IDE, which was a contributor to the UK response to the pandemic. The research team behind this model published their code on GitHub. As might be expected… Read More »
Vagrant is a tool for managing virtual machines. By combining vagrant with git (and shared git repositories like github or bitbucket) it is possible to share machine configurations. This post explores how using vagrant with git works and some possible challenges with collaborating with vagrant machines. Sharing Virtual Machines Sharing virtual machine images can be… Read More »
Git is a versioning control software which helps keep track of changes to plain text files. The popularity of git has been helped by the existence of products and services like Gitlab and Github which simplify some of the server-side operation of git. Git has a famously steep learning curve and it can be difficult… Read More »
Open science, open data and open publishing are all the rage right now, so why not open source your research and share your code with GitHub? GitHub is an online platform for hosting and sharing repositories of the git version control software. If you’re not already familiar with it, version control is a process of… Read More »
I keep forgetting how to resolve conflicts in git. This stackoverflow question seems to explain things quite nicely. If there is a conflict git puts some lines in the conflicting file highlighting the conflict. You can open that file manually resolve the conflict. Manually resolving the conflict means editing the file to leave it as… Read More »