That’s a great point. I think I am of the mind that it doesn’t need fixing. I also do not like penalties after the race. So just let it be. If once a year a team figures out a way to exploit this, then so be it.
It is for a middle school robotics team (FIRST Lego League if you have ever heard of it). No, I don’t have some burning desire to get rid of the merges. I was mostly woried that we were doing something wrong. We definitely do not have any branches. We really just use github to have a safe place to store our code and so that all of the laptops can have all of the code from all of the teammates.
For sure I don’t want to add any complexity. I think that since from their end it looks like it is doing exactly what they think it does (i.e., I upload my code with a push, and I get everyone else’s code with a pull), there’s definitely no need to fix a non-problem.
That was it! Thanks :)
That makes sense. It was a red-orange slow-ish fire. Still not good. If it is just a seal, and as long as everything was still lubricated, I suppose it could probably be rebuilt.
First post on Lemmy! Ummm, what is sync?
Another famous one… bookstores make a lot of people need to poop. https://www.buzzfeed.com/farrahpenn/urge-to-poop-in-bookstore-mariko-aoki-phenomenon