はてブログ

はてなブックマーク新着エントリーの過去ログサイトです。



タグ merged

新着順 人気順 5 users 10 users 50 users 100 users 500 users 1000 users
 
(1 - 3 / 3件)
 

FFmpegコマンドラインツールのマルチスレッド化が完了、開発者いわく「数十年で最も複雑な修正」

2023/12/14 このエントリーをはてなブックマークに追加 33 users Instapaper Pocket Tweet Facebook Share Evernote Clip ffmpeg リファクタリング コマンドラインツール ffm

オープンソースのマルチメディアフレームワーク「FFmpeg」の開発チームがコマンドラインツールのマルチスレッド化完了を報告しました。開発チームは一連の作業を「ここ数十年で最も複雑なリファクタリング」と表現しています。 FFmpeg CLI multithreading is now merged! https://t.co/uUJ0SF0opw— FFmpeg (@FFmpeg) FFm... 続きを読む

Gitブランチをきれいにするワンライナー - テクめも

2018/12/10 このエントリーをはてなブックマークに追加 46 users Instapaper Pocket Tweet Facebook Share Evernote Clip Gitブランチ xargs ワンライナー grep XXX

今すぐalias登録すべきワンライナー by ゆめみ① Advent Calendar 2018 10日目の記事です。 開発していると、マージされたfeature/xxxとか不要なブランチが結構でてくるので、一括で削除するコマンドをalias登録しておくと良いです。 git checkout develop && git branch --merged | grep -v '*' | xargs -I{} git branch... 続きを読む

あるgit commitがどのpull requestでmergeされているかをAPIでシュッと取ってくる方法 - その手の平は尻もつかめるさ

2018/08/18 このエントリーをはてなブックマークに追加 56 users Instapaper Pocket Tweet Facebook Share Evernote Clip pull request git commit API 方法

というのを id:side_tana さんが探っていたので,このAPIをGETで叩くとできるよというやつです. https://api.github.com/search/issues?q=repo:${owner}/${repo-name} pr:merged ${commit-hash}あ,GitHubの話です.良かったですね. 続きを読む

 
(1 - 3 / 3件)