Tinkeringidiot · 80w Branding, mostly. It’s the same operation (pull and merge), different platforms just label it differently. Laeserin @Laeserin 1723707964 It is not always a merge.
