lablnet

Instruction

1. Consider you have already one origin url which you added by git remote add origin $url
2. Now other URL you will add like that, git remote set-url --add origin $url

That's all.

peter279k

#!/bin/bash

# This bash script is referenced by https://www.hostinger.com/tutorials/how-to-install-docker-on-ubuntu
# Reference: https://docs.docker.com/engine/install/ubuntu/

echo 'Check your Linux Distribution....'

which lsb_release > /dev/null 2>&1

if [[ $? != 0 ]]; then

rodydavis

name: CI
on:
  push:
    branches:
      - master
  pull_request:
    branches:
      - master
jobs:
  build_web:

Beneboe

How to Setup Verified Commits

Quick guide on how to setup git signing. Information is aggregated from following sources:

• https://help.github.com/articles/signing-commits/
• https://help.github.com/articles/telling-git-about-your-signing-key/
• https://help.github.com/articles/generating-a-new-gpg-key/

greeflas

#!/bin/bash

set -e

if [ -d ~/.local/share/JetBrains/Toolbox ]; then
    echo "JetBrains Toolbox is already installed!"
    exit 0
fi

echo "Start installation..."