[PATCH 01/14] gitignore: don't ignore files in .github/ directory

Sascha Hauer sha at pengutronix.de
Tue Jun 6 02:39:36 PDT 2023


On Mon, Jun 05, 2023 at 08:36:10AM +0200, Ahmad Fatoum wrote:
> The directory holds our workflow files and it shouldn't require git add
> -f to add new files there.
> 
> Signed-off-by: Ahmad Fatoum <a.fatoum at pengutronix.de>
> ---
>  .gitignore | 1 +
>  1 file changed, 1 insertion(+)

Applied, thanks

Sascha

> 
> diff --git a/.gitignore b/.gitignore
> index dd36d5083b17..d2487d548376 100644
> --- a/.gitignore
> +++ b/.gitignore
> @@ -52,6 +52,7 @@ Module.symvers
>  #
>  !.gitignore
>  !.mailmap
> +!.github/
>  
>  #
>  # Generated include files
> -- 
> 2.39.2
> 
> 
> 

-- 
Pengutronix e.K.                           |                             |
Steuerwalder Str. 21                       | http://www.pengutronix.de/  |
31137 Hildesheim, Germany                  | Phone: +49-5121-206917-0    |
Amtsgericht Hildesheim, HRA 2686           | Fax:   +49-5121-206917-5555 |



More information about the barebox mailing list