As software engineer, you will write and receive many bug reports over the years. When bugs are reported with low quality, everyone loses, as the reporter will be asked “annoying” questions, the software engineer has to spend extra time to find out all the details, and overall the eventual fix will be delayed. Here are […]
Tag: GitHub
GitHub Keyboard Shortcuts
Just a very brief post, as I just found out that GitHub offers quite a few nice keyboard shortcuts. Official GitHub Keyboard Shortcuts Documentations It’s a long list which I find feels overwhelming so I rarely actually pick up any and just close the page. To counter this, here are a few I found quite […]
Fetch GitHub Pull Requests Locally
It’s by no means a secret thing and Google will be the first to tell you, but by the off chance that someone hasn’t thought about it, here’s just the command how to do it. git fetch origin pull/<id>/head:<branch> <id> refers to the pull request id on GitHub<branch> refers to a custom branch name of […]
TileMapCreator – Update 02
Nearly two month have passed since the last update on the TileMapCreator and I kind of feel bad about it. For my excuse I’m studying for my upcoming big exam. Last time I was talking about the grid and how I want it to improve; I’ve spend quite some time thinking and trying out things, […]