Kaveh Karimi-Asli ka7eh

Multiple git identities on one machine

One machine, several git identities (personal vs work, GitHub vs GitLab, two accounts on one provider). Each repository picks its own name, email and credentials. In a hurry: Appendix B, once per rule.

A wrong identity does not fail: git commits and pushes under the wrong author. Part 1 ends with the check that catches it.

Requirements

Feature	Minimum git

	from typing import Sequence, TypeVar, Generic

	from pydantic import BaseModel, TypeAdapter
	from prefect import flow, task


	ResultType = TypeVar("ResultType")

	class Result(BaseModel, Generic[ResultType]):
	data: Sequence[ResultType]

	import json
	import geojson
	from shapely.geometry import shape

	o = {
	"coordinates": [[[23.314208, 37.768469], [24.039306, 37.768469], [24.039306, 38.214372], [23.314208, 38.214372], [23.314208, 37.768469]]],
	"type": "Polygon"
	}

	s = json.dumps(o)