在 Pull Request 後修改 target branch
GitHub 的新功能,在 pull request 後修改 target branch,這樣可以做後續討論或是調整,然後再 merge 回 dev 或是 master branch 上:「Change the base branch of a Pull Request」。
View ArticleGitHub 在 Merge Pull Request 時支援 Rebase 了
有些人認為儘量保持原狀,但有些人認為儘量維持 tree 的乾淨,而這次推出的 rebase 則是把後者的需求補上了:「Rebase and merge pull requests」。
View ArticlePercona 宣佈支援 MyRocks (MySQL 上的 RocksDB engine)
RocksDB 是 Facebook 從 Google 放出的 LevelDB 改出來,然後被更多人接受並且投注資源的 library... (看兩邊的 GitHub 應該就會有感覺了) 而 Facebook 的人在改進後又花了不少力氣 porting 到 MySQL 上... 之前 Twitter 上就有看到不少消息,這次算是在 Percona 官方的 blog 上正式公佈要支援 MyRocks...
View ArticleGitHub 的 Review 功能
GitHub 推出了抓人來 review 的功能:「Requesting reviews from repository teams」。 在「Requesting a pull request review」這邊說明的更多一些。這樣就更方便了些...
View ArticleGitHub 引入 Code Owner 的概念
GitHub 推出了 Code Owner 的概念:「Introducing code owners」。也很直接說這個能是向 Chromium「致敬」出來的: The code owners feature was inspired by Chromium's use of OWNERS files. 檔案名稱是 CODEOWNERS,可以放在根目錄或是 .github/...
View Article合併 RRD 資料的工具
昨天把跑在 Raspberry Pi 上的 SmokePing 資料改用統一版本 (我在 GitHub 上公開的 smokeping-config.d 這個),但有些節點的 naming 改變了,所以會需要將資料整在一起。 在透過 Google 搜尋後,用的工具是「A very simple script to merge multiple RRD files, since none of...
View ArticleMark Callaghan 花五分鐘介紹 LSM trees
實做 MyRocks 的 Mark Callaghan 花五分鐘在 CIDR 2019 上介紹 LSM tree:「Geek code for LSM trees」。翻了一下發現 CIDR 是兩年辦一次,跟之前遇過的 conference 不太一樣... 投影片在「Diversity of LSM tree shapes」這邊可以看到,在五分鐘內講完的前提下規劃出的重點...
View Article被動靈氣加成:用 git rerere 解決同樣的 conflict 問題
Git 上一個很好用的設定,不需要改變原來的工作模式,有種「被動靈氣」的感覺 XD 在 Twitter 上看到這則推: 整理了三個 GIT 比較少用的指令:bisect 是利用二元對切,自動協助 checkout commit 快速找到第一個發生問題的 commit。 rerere 是讓解衝突的方式,可以重複利用。worktree 則是在同一個 repo...
View ArticleJavaScript 的 sort 變成 stable
看到「Stable Array.prototype.sort」這篇在講 JavaScript 規格書裡的 sort... 本來 JavaScript 的規格書裡,各種 sort 都沒有保證 stable,而在「[Normative] Make Array.prototype.sort stable #1340」與「[Normative] Make...
View Article原來 Waterfox 早就被廣告公司收購了...
看到「Waterfox G4.1.0 update reduces requirement to SSE 4.1, sets Startpage as the default search engine for Private Tabs」這篇才發現 Waterfox 在 2019 年年底的時候早就被廣告公司 System1 收購:「Waterfox web browser sold to...
View Article
More Pages to Explore .....