diff --git a/dev/developers/git-flow/index.html b/dev/developers/git-flow/index.html index 3dc342c0..fd2bf644 100644 --- a/dev/developers/git-flow/index.html +++ b/dev/developers/git-flow/index.html @@ -1202,8 +1202,8 @@ git pull
git add modified-file1 modified-file2
git commit -m "Add my new feature" # use a concise description
develop
Integrate your new feature to develop
You are an internal developer if you have writing permissions to the repository.
Most feature branches are never pushed to the repo, only do so if you expect that its development will take days (to avoid losing your work if you computer is damaged). Otherwise follow the following instructions to locally rebase your feature branch into develop
and push those rebased changes online.
develop
branch using Github’s GUI
|firstuseafter |minutes |Minutes until the first unlock episode.
+Assumptions/Observations
Hint
If you are using RAPIDS’ docker container and Docker-for-mac or Docker-for-Windows 18.03+, you can connect to a MySQL database in your host machine using the host.docker.internal
instead of 127.0.0.1
or localhost
Hint
If you are using RAPIDS’ docker container and Docker-for-mac or Docker-for-Windows 18.03+, you can connect to a MySQL database in your host machine using host.docker.internal
instead of 127.0.0.1
or localhost
. In a Linux host you need to run our docker container using docker run --network="host" -d moshiresearch/rapids:latest
and then 127.0.0.1
will point to your host machine.