「 ツール 」 一覧

生成AIについてRAG（Retrieval-Augmented Generation）C …

WebStormとRiderが非商用利用が無料になりました！今までお金がかかるので、趣味で利用できていなかった方等利用できるようになったので試しに利用してもいいかと思います！ WebStorm と R …

GitHub等で、リポジトリ容量が圧迫されることがあります。その際に履歴事データ管理からファイルを削除することで、リポジトリ容量を減らすことが出来ます。 削除手順について 初めにgitのブランチの変更 …

TortoiseGitで実際にプルリクエストが行われた場合の対応手順についてまとめていきます。 プルリクエストの情報をもらう TortoiseGitにてプルリクエストを行った際に下記のようなテキストが …

注意！！！Githubのリポジトリの削除を行うと元に戻すことが出来ないため注意してください。不安な場合はバックアップを取得してから削除を行うと安全です。 削除手順 Githubのリポジトリ画面を開き、 …

プルリクエストとは？プル&#x3 …

Git Bashを起動してリポジトリの場所へ移動した後下記のGitコマンドを実行します。 git init –bare –shared=true オプションの意味は下記になります。bare：作業フ …

VSCodeからGithubにPushしようとした際に下記のエラーが出たので対処方法をまとめました。 fatal: unable to access ‘[GithubのURL]’: Peer’s Ce …

gitクライアントツールを探していて、使いやすそうなツールを見つけたので インストール手順をまとめました。 Sourcetreeのインストール SorcetreeのサイトからSourcetreeのイン …

Jenkinsをインストール https://www.jenkins.io/からダウンロードします。 下記の手順で設定を行います。 ダウンロードしたjenkins.msiを実行します。 ローカルで使用 …