sapiderman

from flask import Flask, request
import logging
import datetime


app = Flask(__name__)


# Configure logging
logging.basicConfig(level=logging.DEBUG)

sapiderman

| service    | tool       | link                                                   |  
| :--------: |:---------: | :-------------------------------------------------:    |  
| azure      | IDE Plugin | https://marketplace.visualstudio.com/items?itemName=ms-azure-devops.azure-pipelines  |  
| bitbucket  | web        | <https://bitbucket-pipelines.atlassian.io/validator>   |  
| gitlab     | web        | <https://docs.gitlab.com/ee/ci/lint.html>              |  
| github     | Web plugin | https://github.com/marketplace                         |  

sapiderman

trigger:
  branches:
    include:
      - '*'

pool:
  vmImage: 'ubuntu-latest'

resources:
  repositories:

sapiderman

trigger:
  branches:
    include:
      - '*'

pool:
   vmImage: 'ubuntu-latest'

jobs:
- job: pull_request_jobs

sapiderman

name: $(Build.DefinitionName) - $(Date:ddMMyyy) Build $(BuildID)

trigger:
  branches:
    include:
      - master
  tags:
    include:
      - '*-STAGING*'
      - '*-RELEASE*'

sapiderman

When you want to migrate repositories from one service (saay some server) to a new service (maybe github).
It's actually pretty simple if you clone first to your local machine, then push to the new repository both using the 
--mirror switch in git clone and push.

1. clone old repo to local
git clone --mirror username@host:somedir/myRepo.git

2.create a new empty repository in the new service (ie: github). 
Get the new location: example: github.com/myname/newproject.