GitHub Pull Request Auto-Merge Bot
-
Updated
May 23, 2024 - Go
GitHub Pull Request Auto-Merge Bot
Deeply merge 2 or more objects respecting type information.
Solution for splitting, checking and merging files
A utility to help with exporting, importing and merging CSV data into a Postgresql database.
🇧🇷 🏦 📋 Brazilian banks: MergeTool - The .NET tool used to merge and keep data from the Bancos Brasileiros repository updatedom Bancos Brasileiros repository
Framework agnostic sliced/tiled inference + interactive ui + error analysis plots
A bot that automatically merges your pull requests based on configurable conditions.
WinMerge is an Open Source differencing and merging tool for Windows. WinMerge can compare both folders and files, presenting differences in a visual text format that is easy to understand and handle.
End-user collaboration library via 3-way xml merging and hg dvcs under the hood
A modern merge editor for the Web
🎉 Easily handle cell merges ( 轻松处理单元格的合并 )
A tool to download segmented videos from platforms such as INE
A GitHub action that will automatically approve and merge a PR that only contains dependency updates, based on some rules. Also possible to disable the merge and use the `success` output to use in combination with other actions.
UI for merged large language models
Add a description, image, and links to the merge topic page so that developers can more easily learn about it.
To associate your repository with the merge topic, visit your repo's landing page and select "manage topics."